Lines Matching refs:operator
134 bdd operator[](int i) const { return roots.bitvec[i]; }
137 bvec operator=(const bvec &src);
178 bvec operator&(const bvec &a) const { return bvec_map2(*this, a, bdd_and); }
179 bvec operator^(const bvec &a) const { return bvec_map2(*this, a, bdd_xor); }
180 bvec operator|(const bvec &a) const { return bvec_map2(*this, a, bdd_or); }
181 bvec operator!(void) const { return bvec_map1(*this, bdd_not); }
182 bvec operator<<(int a) const { return bvec_shlfixed(*this,a,bddfalse); }
183 bvec operator<<(const bvec &a) const { return bvec_shl(*this,a,bddfalse); }
184 bvec operator>>(int a) const { return bvec_shrfixed(*this,a,bddfalse); }
185 bvec operator>>(const bvec &a) const { return bvec_shr(*this,a,bddfalse); }
186 bvec operator+(const bvec &a) const { return bvec_add(*this, a); }
187 bvec operator-(const bvec &a) const { return bvec_sub(*this, a); }
188 bvec operator*(int a) const { return bvec_mulfixed(*this, a); }
189 bvec operator*(const bvec a) const { return bvec_mul(*this, a); }
190 bdd operator<(const bvec &a) const { return bvec_lth(*this, a); }
191 bdd operator<=(const bvec &a) const { return bvec_lte(*this, a); }
192 bdd operator>(const bvec &a) const { return bvec_gth(*this, a); }
193 bdd operator>=(const bvec &a) const { return bvec_gte(*this, a); }
194 bdd operator==(const bvec &a) const { return bvec_equ(*this, a); }
195 bdd operator!=(const bvec &a) const { return bvec_neq(*this, a); }