cprover
|
#include "smt_sorts.h"
#include <util/invariant.h>
#include <solvers/smt2_incremental/smt_sorts.def>
#include "smt_sorts.def"
Go to the source code of this file.
Macros | |
#define | SORT_ID(the_id) const irep_idt ID_smt_##the_id##_sort{"smt_" #the_id "_sort"}; |
#define | SORT_ID(the_id) |
#define | SORT_ID(the_id) |
#define | SORT_ID(the_id) |
Functions | |
template<typename visitort > | |
void | accept (const smt_sortt &sort, const irep_idt &id, visitort &&visitor) |
Definition at line 8 of file smt_sorts.cpp.
Definition at line 8 of file smt_sorts.cpp.
Definition at line 8 of file smt_sorts.cpp.