cprover
|
#include <cvc_conv.h>
Public Member Functions | |
identifiert () | |
Public Attributes | |
typet | type |
exprt | value |
Definition at line 46 of file cvc_conv.h.
|
inline |
Definition at line 51 of file cvc_conv.h.
References irept::make_nil(), type, and value.
typet cvc_convt::identifiert::type |
Definition at line 48 of file cvc_conv.h.
Referenced by identifiert().
exprt cvc_convt::identifiert::value |
Definition at line 49 of file cvc_conv.h.
Referenced by identifiert().