Package org.smtlib

Interface ICommand.Idefine_const

All Superinterfaces:

ICommand, ICommand.Idefine_fun, INode, IPos.IPosable

All Known Implementing Classes:

C_define_const

Enclosing interface:

ICommand

public static interface ICommand.Idefine_const
extends ICommand.Idefine_fun

Interface for the SMT-LIB define-const command. Syntactic sugar for define-fun with an empty parameter list.

Nested Class Summary

Nested classes/interfaces inherited from interface org.smtlib.ICommand

ICommand.Iassert, ICommand.Icheck_sat, ICommand.Icheck_sat_assuming, ICommand.Icomment, ICommand.Ideclare_const, ICommand.Ideclare_datatype, ICommand.Ideclare_datatypes, ICommand.Ideclare_fun, ICommand.Ideclare_sort, ICommand.Ideclare_sort_parameter, ICommand.Idefine_const, ICommand.Idefine_fun, ICommand.Idefine_fun_rec, ICommand.Idefine_funs_rec, ICommand.Idefine_sort, ICommand.Iecho, ICommand.Iexit, ICommand.IFactory, ICommand.IFinder, ICommand.Iget_assertions, ICommand.Iget_assignment, ICommand.Iget_info, ICommand.Iget_model, ICommand.Iget_option, ICommand.Iget_proof, ICommand.Iget_unsat_assumptions, ICommand.Iget_unsat_core, ICommand.Iget_value, ICommand.Ipop, ICommand.Ipush, ICommand.Ireset, ICommand.Ireset_assertions, ICommand.IScript, ICommand.Iset_info, ICommand.Iset_logic, ICommand.Iset_option

Method Summary

Methods inherited from interface org.smtlib.ICommand

commandName, execute

Methods inherited from interface org.smtlib.ICommand.Idefine_fun

expression, parameters, resultSort, symbol

Methods inherited from interface org.smtlib.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos