cprover
|
#include <solvers/smt2_incremental/smt_logics.h>
#include <solvers/smt2_incremental/smt_logics.def>
#include "smt_logics.def"
Go to the source code of this file.
Macros | |
#define | LOGIC_ID(the_id, the_name) const irep_idt ID_smt_logic_##the_id{"smt_logic_" #the_id}; |
#define | LOGIC_ID(the_id, the_name) |
#define | LOGIC_ID(the_id, the_name) |
Functions | |
template<typename visitort > | |
void | accept (const smt_logict &logic, const irep_idt &id, visitort &&visitor) |
Definition at line 6 of file smt_logics.cpp.
Definition at line 6 of file smt_logics.cpp.
Definition at line 6 of file smt_logics.cpp.
void accept | ( | const smt_logict & | logic, |
const irep_idt & | id, | ||
visitort && | visitor | ||
) |
Definition at line 22 of file smt_logics.cpp.