#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"
Go to the source code of this file.
◆ TERM_ID [1/2]
#define TERM_ID |
( |
| the_id | ) |
|
Value: const irep_idt ID_smt_##the_id##_term{
"smt_" #the_id
"_term"};
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
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.
◆ is_valid_smt_identifier()
static bool is_valid_smt_identifier |
( |
irep_idt | identifier | ) |
|
|
static |