cbmc/smt__commands_8def_source.html

COMMAND_ID(assert)

COMMAND_ID(check_sat)

COMMAND_ID(declare_function)

COMMAND_ID(define_function)

COMMAND_ID(exit)

COMMAND_ID(get_value)

COMMAND_ID(pop)

COMMAND_ID(push)

COMMAND_ID(set_logic)

COMMAND_ID(set_option)

declare_function
static auxiliary_symbolt declare_function(const irep_idt &function_name, const mathematical_function_typet &type, symbol_table_baset &symbol_table)
Declare a function with the given name and type.
Definition java_utils.cpp:358

COMMAND_ID
#define COMMAND_ID(the_id)
Definition smt_commands.cpp:10

exit
void exit(int status)
Definition stdlib.c:102