10 #ifndef CPROVER_SOLVERS_PROP_PROP_CONV_STORE_H 11 #define CPROVER_SOLVERS_PROP_PROP_CONV_STORE_H 36 void print(std::ostream &out)
const;
52 void print(std::ostream &out)
const;
68 #endif // CPROVER_SOLVERS_PROP_PROP_CONV_STORE_H The type of an expression.
constraint_listt constraint_list
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
void replay(prop_convt &dest) const
prop_conv_storet(const namespacet &_ns)
std::list< constraintt > constraint_listt
Base class for all expressions.
const constraintst & get_constraints() const
virtual literalt convert(const exprt &expr)