Lines Matching refs:bitnum
118 inline bdd* fdd_conpp(int bitnum, int var)
119 { return fdd_transfer( bitnum, fdd_con(bitnum, var) ); }
121 inline bdd* fdd_varpp(int bitnum, int var)
122 { return fdd_transfer( bitnum, fdd_var(bitnum, var) ); }
124 BUDDY_API int fdd_isconst(int bitnum, bdd *e);
125 BUDDY_API int fdd_val(int bitnum, bdd *e);
127 inline bdd* fdd_add(int bitnum, bdd *left, bdd *right)
128 { return fdd_termopr(bitnum, left, right,bdd::fddAdd); }
130 inline bdd* fdd_sub(int bitnum, bdd *left, bdd *right)
131 { return fdd_termopr(bitnum, left, right,bdd::fddSub); }
133 inline bdd* fdd_shl(int bitnum, bdd *expr, bdd c)
134 { return fdd_shift(bitnum, expr, c, bdd::fddShl); }
136 inline bdd* fdd_shr(int bitnum, bdd *expr, bdd c)
137 { return fdd_shift(bitnum, expr, c, bdd::fddShr); }
139 inline bdd fdd_lth(int bitnum, bdd *left, bdd *right)
140 { return fdd_relopr(bitnum, left, right, bdd::fddLth); }
142 inline bdd fdd_lte(int bitnum, bdd *left, bdd *right)
143 { return fdd_relopr(bitnum, left, right, bdd::fddLte); }
145 inline bdd fdd_gth(int bitnum, bdd *left, bdd *right)
146 { return fdd_relopr(bitnum, left, right, bdd::fddGth); }
148 inline bdd fdd_gte(int bitnum, bdd *left, bdd *right)
149 { return fdd_relopr(bitnum, left, right, bdd::fddGte); }
151 inline bdd fdd_equ(int bitnum, bdd *left, bdd *right)
152 { return fdd_relopr(bitnum, left, right, bdd::fddEqu); }
154 inline bdd fdd_neq(int bitnum, bdd *left, bdd *right)
155 { return fdd_relopr(bitnum, left, right, bdd::fddNeq); }