CBMC
|
Go to the source code of this file.
Macros | |
#define | COMMAND_ID(the_id) const irep_idt ID_smt_##the_id##_command{"smt_" #the_id "_command"}; |
#define | COMMAND_ID(the_id) |
Functions | |
template<typename visitort > | |
void | accept (const smt_commandt &command, const irep_idt &id, visitort &&visitor) |
Definition at line 10 of file smt_commands.cpp.
Definition at line 10 of file smt_commands.cpp.
Definition at line 182 of file smt_commands.cpp.