#include "smt_terms.h"#include <util/arith_tools.h>#include <util/mp_arith.h>#include <util/range.h>#include "smt_sorts.h"#include <algorithm>#include <regex>#include "smt_terms.def"
Include dependency graph for smt_terms.cpp: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) |
Macro Definition Documentation
◆ TERM_ID [1/2]
| #define TERM_ID | ( | the_id | ) | const irep_idt ID_smt_##the_id##_term{"smt_" #the_id "_term"}; |
Definition at line 15 of file smt_terms.cpp.
◆ TERM_ID [2/2]
| #define TERM_ID | ( | the_id | ) |
Value:
if(id == ID_smt_##the_id##_term) \
return visitor.visit(static_cast<const smt_##the_id##_termt &>(term));
Definition at line 15 of file smt_terms.cpp.
Function Documentation
◆ accept()
template<typename visitort >
| void accept | ( | const smt_termt & | term, |
| const irep_idt & | id, | ||
| visitort && | visitor | ||
| ) |
Definition at line 224 of file smt_terms.cpp.
◆ is_valid_smt_identifier()
|
static |
Definition at line 52 of file smt_terms.cpp.
