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"};

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.