Class SMTLIBv2Parser.OptionContext

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

Constructors

| Improve this Doc View Source

OptionContext(ParserRuleContext, Int32)

Declaration
public OptionContext(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

attribute()

Declaration
public SMTLIBv2Parser.AttributeContext attribute()
Returns
Type Description
SMTLIBv2Parser.AttributeContext
| Improve this Doc View Source

b_value()

Declaration
public SMTLIBv2Parser.B_valueContext b_value()
Returns
Type Description
SMTLIBv2Parser.B_valueContext
| 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

numeral()

Declaration
public SMTLIBv2Parser.NumeralContext numeral()
Returns
Type Description
SMTLIBv2Parser.NumeralContext
| Improve this Doc View Source

PK_DiagnosticOutputChannel()

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

PK_GlobalDeclarations()

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

PK_InteractiveMode()

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

PK_PrintSuccess()

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

PK_ProduceAssertions()

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

PK_ProduceAssignments()

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

PK_ProduceModels()

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

PK_ProduceProofs()

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

PK_ProduceUnsatAssumptions()

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

PK_ProduceUnsatCores()

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

PK_RandomSeed()

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

PK_RegularOutputChannel()

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

PK_ReproducibleResourceLimit()

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

PK_Verbosity()

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

string()

Declaration
public SMTLIBv2Parser.StringContext string()
Returns
Type Description
SMTLIBv2Parser.StringContext