solver::symbolic_bitvec::Expr Class Reference

Public Member Functions
	Expr (const Expr *left, const Expr *right, ExprNodeType type, BitID value=-1)
	Expr (ExprNodeType type, BitID value, const Expr *left=nullptr, const Expr *right=nullptr)
bool	eq (const Expr *other) const
cstring	to_cstring () const

Public Attributes
const Expr *	left
const Expr *	right
ExprNodeType	type
BitID	value