cprover
|
#include <solvers/smt2_incremental/smt_terms.h>
#include <solvers/smt2_incremental/smt_sorts.h>
#include <util/arith_tools.h>
#include <util/mp_arith.h>
#include <util/range.h>
#include <algorithm>
#include <regex>
#include <solvers/smt2_incremental/smt_terms.def>
Go to the source code of this file.
Macros | |
#define | TERM_ID(the_id) const irep_idt ID_smt_##the_id##_term{"smt_" #the_id "_term"}; |
#define | TERM_ID(the_id) |
Functions | |
static bool | is_valid_smt_identifier (irep_idt identifier) |
template<typename visitort > | |
void | accept (const smt_termt &term, const irep_idt &id, visitort &&visitor) |
Definition at line 15 of file smt_terms.cpp.
Definition at line 15 of file smt_terms.cpp.
Definition at line 138 of file smt_terms.cpp.
Definition at line 51 of file smt_terms.cpp.