cprover
|
#include <smt2_parser.h>
Public Types | |
using | kindt = enum { VARIABLE, BINDING, PARAMETER } |
Public Member Functions | |
idt (kindt _kind, const exprt &expr) | |
Public Attributes | |
kindt | kind |
typet | type |
exprt | definition |
std::vector< irep_idt > | parameters |
Definition at line 36 of file smt2_parser.h.
using smt2_parsert::idt::kindt = enum { VARIABLE, BINDING, PARAMETER } |
Definition at line 38 of file smt2_parser.h.
Definition at line 40 of file smt2_parser.h.
exprt smt2_parsert::idt::definition |
Definition at line 47 of file smt2_parser.h.
kindt smt2_parsert::idt::kind |
Definition at line 45 of file smt2_parser.h.
std::vector<irep_idt> smt2_parsert::idt::parameters |
Definition at line 48 of file smt2_parser.h.
typet smt2_parsert::idt::type |
Definition at line 46 of file smt2_parser.h.