cprover
|
#include <smt1_conv.h>
Public Member Functions | |
identifiert () | |
Public Attributes | |
typet | type |
exprt | value |
Definition at line 143 of file smt1_conv.h.
|
inline |
Definition at line 148 of file smt1_conv.h.
References irept::make_nil().
typet smt1_convt::identifiert::type |
Definition at line 145 of file smt1_conv.h.
Referenced by smt1_convt::set_value().
exprt smt1_convt::identifiert::value |
Definition at line 146 of file smt1_conv.h.
Referenced by smt1_convt::set_value().