#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:

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) virtual void visit(const smt_##the_id##_commandt &) = 0;

Macro Definition Documentation

◆ COMMAND_ID

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

Definition at line 138 of file smt_commands.h.