cprover
Loading...
Searching...
No Matches
smt_logics.cpp File Reference
#include "smt_logics.h"
#include "smt_logics.def"
Include dependency graph for smt_logics.cpp:

Go to the source code of this file.

Macros

#define LOGIC_ID(the_id, the_name)
#define LOGIC_ID(the_id, the_name)
#define LOGIC_ID(the_id, the_name)

Macro Definition Documentation

◆ LOGIC_ID [1/3]

#define LOGIC_ID ( the_id,
the_name )
Value:
const irep_idt ID_smt_logic_##the_id{"smt_logic_" #the_id};
dstringt irep_idt

Definition at line 6 of file smt_logics.cpp.

◆ LOGIC_ID [2/3]

#define LOGIC_ID ( the_id,
the_name )
Value:
if(id == ID_smt_logic_##the_id) \
return visitor.visit(static_cast<const smt_logic_##the_id##t &>(logic));

Definition at line 6 of file smt_logics.cpp.

◆ LOGIC_ID [3/3]

#define LOGIC_ID ( the_id,
the_name )
Value:
smt_logic_##the_id##t::smt_logic_##the_id##t() \
: smt_logict{ID_smt_logic_##the_id} \
{ \
}

Definition at line 6 of file smt_logics.cpp.