cprover
|
#include <prop_conv_store.h>
Public Types | |
enum | typet { typet::NONE, typet::CONVERT, typet::SET_TO } |
Public Member Functions | |
void | replay (prop_convt &dest) const |
void | print (std::ostream &out) const |
Public Attributes | |
typet | type |
exprt | expr |
bool | value |
literalt | literal |
Definition at line 22 of file prop_conv_store.h.
|
strong |
Enumerator | |
---|---|
NONE | |
CONVERT | |
SET_TO |
Definition at line 24 of file prop_conv_store.h.
void prop_conv_storet::constraintt::print | ( | std::ostream & | out | ) | const |
Definition at line 67 of file prop_conv_store.cpp.
void prop_conv_storet::constraintt::replay | ( | prop_convt & | dest | ) | const |
Definition at line 50 of file prop_conv_store.cpp.
References decision_proceduret::set_to().
exprt prop_conv_storet::constraintt::expr |
Definition at line 27 of file prop_conv_store.h.
Referenced by prop_conv_storet::convert(), and prop_conv_storet::set_to().
literalt prop_conv_storet::constraintt::literal |
Definition at line 33 of file prop_conv_store.h.
Referenced by prop_conv_storet::convert().
typet prop_conv_storet::constraintt::type |
Definition at line 25 of file prop_conv_store.h.
Referenced by prop_conv_storet::convert(), and prop_conv_storet::set_to().
bool prop_conv_storet::constraintt::value |
Definition at line 30 of file prop_conv_store.h.
Referenced by prop_conv_storet::set_to().