smt2_convt::identifiert Struct Reference
#include <smt2_conv.h>
Collaboration diagram for smt2_convt::identifiert:Public Member Functions | |
| identifiert () | |
Public Attributes | |
| bool | is_bound |
| typet | type |
| exprt | value |
Detailed Description
Definition at line 223 of file smt2_conv.h.
Constructor & Destructor Documentation
◆ identifiert()
|
inline |
Definition at line 229 of file smt2_conv.h.
Member Data Documentation
◆ is_bound
| bool smt2_convt::identifiert::is_bound |
Definition at line 225 of file smt2_conv.h.
◆ type
| typet smt2_convt::identifiert::type |
Definition at line 226 of file smt2_conv.h.
◆ value
| exprt smt2_convt::identifiert::value |
Definition at line 227 of file smt2_conv.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/smt2/smt2_conv.h
