Class SMTLIBv2Parser.CommandContext

Inheritance
System.Object
SMTLIBv2Parser.CommandContext
Namespace: GCore.Antlr.Grammers.Smtlibv2
Assembly: Smtlibv2.dll
Syntax
public class CommandContext : ParserRuleContext

Constructors

| Improve this Doc View Source

CommandContext(ParserRuleContext, Int32)

Declaration
public CommandContext(ParserRuleContext parent, int invokingState)
Parameters
Type Name Description
ParserRuleContext parent
System.Int32 invokingState

Properties

| Improve this Doc View Source

RuleIndex

Declaration
public override int RuleIndex { get; }
Property Value
Type Description
System.Int32

Methods

| Improve this Doc View Source

Accept<TResult>(IParseTreeVisitor<TResult>)

Declaration
public override TResult Accept<TResult>(IParseTreeVisitor<TResult> visitor)
Parameters
Type Name Description
IParseTreeVisitor<TResult> visitor
Returns
Type Description
TResult
Type Parameters
Name Description
TResult
| Improve this Doc View Source

cmd_assert()

Declaration
public SMTLIBv2Parser.Cmd_assertContext cmd_assert()
Returns
Type Description
SMTLIBv2Parser.Cmd_assertContext
| Improve this Doc View Source

cmd_checkSat()

Declaration
public SMTLIBv2Parser.Cmd_checkSatContext cmd_checkSat()
Returns
Type Description
SMTLIBv2Parser.Cmd_checkSatContext
| Improve this Doc View Source

cmd_checkSatAssuming()

Declaration
public SMTLIBv2Parser.Cmd_checkSatAssumingContext cmd_checkSatAssuming()
Returns
Type Description
SMTLIBv2Parser.Cmd_checkSatAssumingContext
| Improve this Doc View Source

cmd_declareConst()

Declaration
public SMTLIBv2Parser.Cmd_declareConstContext cmd_declareConst()
Returns
Type Description
SMTLIBv2Parser.Cmd_declareConstContext
| Improve this Doc View Source

cmd_declareDatatype()

Declaration
public SMTLIBv2Parser.Cmd_declareDatatypeContext cmd_declareDatatype()
Returns
Type Description
SMTLIBv2Parser.Cmd_declareDatatypeContext
| Improve this Doc View Source

cmd_declareDatatypes()

Declaration
public SMTLIBv2Parser.Cmd_declareDatatypesContext cmd_declareDatatypes()
Returns
Type Description
SMTLIBv2Parser.Cmd_declareDatatypesContext
| Improve this Doc View Source

cmd_declareFun()

Declaration
public SMTLIBv2Parser.Cmd_declareFunContext cmd_declareFun()
Returns
Type Description
SMTLIBv2Parser.Cmd_declareFunContext
| Improve this Doc View Source

cmd_declareSort()

Declaration
public SMTLIBv2Parser.Cmd_declareSortContext cmd_declareSort()
Returns
Type Description
SMTLIBv2Parser.Cmd_declareSortContext
| Improve this Doc View Source

cmd_defineFun()

Declaration
public SMTLIBv2Parser.Cmd_defineFunContext cmd_defineFun()
Returns
Type Description
SMTLIBv2Parser.Cmd_defineFunContext
| Improve this Doc View Source

cmd_defineFunRec()

Declaration
public SMTLIBv2Parser.Cmd_defineFunRecContext cmd_defineFunRec()
Returns
Type Description
SMTLIBv2Parser.Cmd_defineFunRecContext
| Improve this Doc View Source

cmd_defineFunsRec()

Declaration
public SMTLIBv2Parser.Cmd_defineFunsRecContext cmd_defineFunsRec()
Returns
Type Description
SMTLIBv2Parser.Cmd_defineFunsRecContext
| Improve this Doc View Source

cmd_defineSort()

Declaration
public SMTLIBv2Parser.Cmd_defineSortContext cmd_defineSort()
Returns
Type Description
SMTLIBv2Parser.Cmd_defineSortContext
| Improve this Doc View Source

cmd_echo()

Declaration
public SMTLIBv2Parser.Cmd_echoContext cmd_echo()
Returns
Type Description
SMTLIBv2Parser.Cmd_echoContext
| Improve this Doc View Source

cmd_exit()

Declaration
public SMTLIBv2Parser.Cmd_exitContext cmd_exit()
Returns
Type Description
SMTLIBv2Parser.Cmd_exitContext
| Improve this Doc View Source

cmd_getAssertions()

Declaration
public SMTLIBv2Parser.Cmd_getAssertionsContext cmd_getAssertions()
Returns
Type Description
SMTLIBv2Parser.Cmd_getAssertionsContext
| Improve this Doc View Source

cmd_getAssignment()

Declaration
public SMTLIBv2Parser.Cmd_getAssignmentContext cmd_getAssignment()
Returns
Type Description
SMTLIBv2Parser.Cmd_getAssignmentContext
| Improve this Doc View Source

cmd_getInfo()

Declaration
public SMTLIBv2Parser.Cmd_getInfoContext cmd_getInfo()
Returns
Type Description
SMTLIBv2Parser.Cmd_getInfoContext
| Improve this Doc View Source

cmd_getModel()

Declaration
public SMTLIBv2Parser.Cmd_getModelContext cmd_getModel()
Returns
Type Description
SMTLIBv2Parser.Cmd_getModelContext
| Improve this Doc View Source

cmd_getOption()

Declaration
public SMTLIBv2Parser.Cmd_getOptionContext cmd_getOption()
Returns
Type Description
SMTLIBv2Parser.Cmd_getOptionContext
| Improve this Doc View Source

cmd_getProof()

Declaration
public SMTLIBv2Parser.Cmd_getProofContext cmd_getProof()
Returns
Type Description
SMTLIBv2Parser.Cmd_getProofContext
| Improve this Doc View Source

cmd_getUnsatAssumptions()

Declaration
public SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext cmd_getUnsatAssumptions()
Returns
Type Description
SMTLIBv2Parser.Cmd_getUnsatAssumptionsContext
| Improve this Doc View Source

cmd_getUnsatCore()

Declaration
public SMTLIBv2Parser.Cmd_getUnsatCoreContext cmd_getUnsatCore()
Returns
Type Description
SMTLIBv2Parser.Cmd_getUnsatCoreContext
| Improve this Doc View Source

cmd_getValue()

Declaration
public SMTLIBv2Parser.Cmd_getValueContext cmd_getValue()
Returns
Type Description
SMTLIBv2Parser.Cmd_getValueContext
| Improve this Doc View Source

cmd_pop()

Declaration
public SMTLIBv2Parser.Cmd_popContext cmd_pop()
Returns
Type Description
SMTLIBv2Parser.Cmd_popContext
| Improve this Doc View Source

cmd_push()

Declaration
public SMTLIBv2Parser.Cmd_pushContext cmd_push()
Returns
Type Description
SMTLIBv2Parser.Cmd_pushContext
| Improve this Doc View Source

cmd_reset()

Declaration
public SMTLIBv2Parser.Cmd_resetContext cmd_reset()
Returns
Type Description
SMTLIBv2Parser.Cmd_resetContext
| Improve this Doc View Source

cmd_resetAssertions()

Declaration
public SMTLIBv2Parser.Cmd_resetAssertionsContext cmd_resetAssertions()
Returns
Type Description
SMTLIBv2Parser.Cmd_resetAssertionsContext
| Improve this Doc View Source

cmd_setInfo()

Declaration
public SMTLIBv2Parser.Cmd_setInfoContext cmd_setInfo()
Returns
Type Description
SMTLIBv2Parser.Cmd_setInfoContext
| Improve this Doc View Source

cmd_setLogic()

Declaration
public SMTLIBv2Parser.Cmd_setLogicContext cmd_setLogic()
Returns
Type Description
SMTLIBv2Parser.Cmd_setLogicContext
| Improve this Doc View Source

cmd_setOption()

Declaration
public SMTLIBv2Parser.Cmd_setOptionContext cmd_setOption()
Returns
Type Description
SMTLIBv2Parser.Cmd_setOptionContext
| Improve this Doc View Source

EnterRule(IParseTreeListener)

Declaration
public override void EnterRule(IParseTreeListener listener)
Parameters
Type Name Description
IParseTreeListener listener
| Improve this Doc View Source

ExitRule(IParseTreeListener)

Declaration
public override void ExitRule(IParseTreeListener listener)
Parameters
Type Name Description
IParseTreeListener listener
| Improve this Doc View Source

ParClose()

Declaration
public ITerminalNode ParClose()
Returns
Type Description
ITerminalNode
| Improve this Doc View Source

ParOpen()

Declaration
public ITerminalNode ParOpen()
Returns
Type Description
ITerminalNode