Class SMTLIBv2Parser.GeneralReservedWordContext

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

Constructors

| Improve this Doc View Source

GeneralReservedWordContext(ParserRuleContext, Int32)

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

GRW_As()

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

GRW_Binary()

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

GRW_Decimal()

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

GRW_Exclamation()

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

GRW_Exists()

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

GRW_Forall()

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

GRW_Hexadecimal()

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

GRW_Let()

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

GRW_Match()

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

GRW_Numeral()

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

GRW_Par()

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

GRW_String()

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

GRW_Underscore()

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

RS_Model()

Declaration
public ITerminalNode RS_Model()
Returns
Type Description
ITerminalNode