cprover
Loading...
Searching...
No Matches
smt_commands.cpp File Reference
#include "smt_commands.h"
#include <util/range.h>
#include <algorithm>
#include "smt_commands.def"
+ Include dependency graph for smt_commands.cpp:

Go to the source code of this file.

Macros

#define COMMAND_ID(the_id)
 
#define COMMAND_ID(the_id)
 

Macro Definition Documentation

◆ COMMAND_ID [1/2]

#define COMMAND_ID ( the_id)
Value:
const irep_idt ID_smt_##the_id##_command{"smt_" #the_id "_command"};
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:38

Definition at line 10 of file smt_commands.cpp.

◆ COMMAND_ID [2/2]

#define COMMAND_ID ( the_id)
Value:
if(id == ID_smt_##the_id##_command) \
return visitor.visit(static_cast<const smt_##the_id##_commandt &>(command));

Definition at line 10 of file smt_commands.cpp.