solver::symbolic_bitvec::BitVec Class Reference

Public Member Functions
	BitVec (std::vector< const Expr * > &bits)
BitVec	bv_and (const BitVec &other) const
BitVec	bv_neg () const
BitVec	bv_or (const BitVec &other) const
bool	eq (const BitVec &other) const
const Expr *	get (int i) const
bool	operator!= (const BitVec &other) const
BitVec	operator& (const BitVec &other) const
BitVec	operator<< (int v) const
bool	operator== (const BitVec &other) const
BitVec	operator>> (int v) const
BitVec	operator| (const BitVec &other) const
BitVec	operator~ () const
BitVec	rotate_left (int amount) const
BitVec	rotate_right (int amount) const
void	set (int i, bool value)
BitVec	slice (int start, int sz) const
cstring	to_cstring () const