Class SMTLIBv2Parser.Selector_decContext

Inheritance

System.Object

SMTLIBv2Parser.Selector_decContext

Namespace: GCore.Antlr.Grammers.Smtlibv2

Assembly: Smtlibv2.dll

Syntax

public class Selector_decContext : ParserRuleContext

Constructors

| Improve this Doc View Source

Selector_decContext(ParserRuleContext, Int32)

Declaration

public Selector_decContext(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

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

| Improve this Doc View Source

sort()

Declaration

public SMTLIBv2Parser.SortContext sort()

Returns

Type	Description
SMTLIBv2Parser.SortContext

| Improve this Doc View Source

symbol()

Declaration

public SMTLIBv2Parser.SymbolContext symbol()

Returns

Type	Description
SMTLIBv2Parser.SymbolContext