cprover
|
#include <prop_conv_store.h>
Public Types | |
typedef std::list< constraintt > | constraint_listt |
Public Member Functions | |
constraintt & | add_constraint () |
void | replay (prop_convt &dest) const |
void | print (std::ostream &out) const |
Public Attributes | |
constraint_listt | constraint_list |
Definition at line 39 of file prop_conv_store.h.
typedef std::list<constraintt> prop_conv_storet::constraintst::constraint_listt |
Definition at line 42 of file prop_conv_store.h.
|
inline |
Definition at line 45 of file prop_conv_store.h.
References constraint_list.
Referenced by prop_conv_storet::convert(), and prop_conv_storet::set_to().
void prop_conv_storet::constraintst::print | ( | std::ostream & | out | ) | const |
Definition at line 41 of file prop_conv_store.cpp.
void prop_conv_storet::constraintst::replay | ( | prop_convt & | dest | ) | const |
Definition at line 32 of file prop_conv_store.cpp.
References constraint_list.
constraint_listt prop_conv_storet::constraintst::constraint_list |
Definition at line 43 of file prop_conv_store.h.
Referenced by add_constraint(), and replay().