18 constraint.
value=value;
27 constraint.
literal=prop.new_variable();
34 for(constraint_listt::const_iterator
35 it=constraint_list.begin();
36 it!=constraint_list.end();
43 for(constraint_listt::const_iterator
44 it=constraint_list.begin();
45 it!=constraint_list.end();
72 out <<
"SET_TO " << (value?
"TRUE":
"FALSE") <<
": ";
73 out << expr.pretty() <<
"\n";
77 out <<
"CONVERT(" << literal.dimacs() <<
"): ";
78 out << expr.pretty() <<
"\n";
void print(std::ostream &out) const
virtual void set_to(const exprt &expr, bool value)
constraintt & add_constraint()
void print(std::ostream &out) const
void replay(prop_convt &dest) const
virtual void set_to(const exprt &expr, bool value)=0
void replay(prop_convt &dest) const
Base class for all expressions.
virtual literalt convert(const exprt &expr)