cprover
|
#include <smt2_parser.h>
Public Member Functions | |
idt () | |
Public Attributes | |
typet | type |
exprt | definition |
Definition at line 33 of file smt2_parser.h.
|
inline |
Definition at line 35 of file smt2_parser.h.
exprt smt2_parsert::idt::definition |
Definition at line 40 of file smt2_parser.h.
typet smt2_parsert::idt::type |
Definition at line 39 of file smt2_parser.h.