cprover
Loading...
Searching...
No Matches
smt_commands.h File Reference
#include <util/irep.h>
#include "smt_logics.h"
#include "smt_options.h"
#include "smt_terms.h"
#include "smt_commands.def"
Include dependency graph for smt_commands.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  smt_commandt
class  smt_assert_commandt
class  smt_check_sat_commandt
class  smt_declare_function_commandt
class  smt_define_function_commandt
class  smt_exit_commandt
class  smt_get_value_commandt
class  smt_push_commandt
class  smt_pop_commandt
class  smt_set_logic_commandt
class  smt_set_option_commandt
class  smt_command_const_downcast_visitort
class  smt_command_functiont
 A function generated from a command. More...

Macros

#define COMMAND_ID(the_id)

Macro Definition Documentation

◆ COMMAND_ID

#define COMMAND_ID ( the_id)
Value:
virtual void visit(const smt_##the_id##_commandt &) = 0;

Definition at line 138 of file smt_commands.h.