Lines Matching defs:hp
31 bdd transitions(bdd* t, bdd* tp, bdd* h, bdd* hp, bdd* c, bdd* cp)
40 P = ((c[i]>cp[i]) & (tp[i]>t[i]) & hp[i] & A(c,cp,i)
41 & A(t,tp,i) & A(h,hp,i))
42 | ((h[i]>hp[i]) & cp[(i+1)%N] & A(c,cp,(i+1)%N) & A(h,hp,i)
45 E = t[i] & !tp[i] & A(t,tp,i) & A(h,hp,N) & A(c,cp,N);
124 bdd* hp = new bdd[N];
147 hp[n] = bdd_ithvar(n*6+5);
155 bdd_addvarblock(hp[n], BDD_REORDER_FIXED);
156 bdd_addvarblock(c[n] & cp[n] & t[n] & tp[n] & h[n] & hp[n],
162 bdd T = transitions(t,tp,h,hp,c,cp);