Class SMTLIBv2Parser.TermContext

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

Constructors

| Improve this Doc View Source

TermContext(ParserRuleContext, Int32)

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

attribute(Int32)

Declaration
public SMTLIBv2Parser.AttributeContext attribute(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
SMTLIBv2Parser.AttributeContext
| 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_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_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

match_case()

Declaration
public SMTLIBv2Parser.Match_caseContext[] match_case()
Returns
Type Description
SMTLIBv2Parser.Match_caseContext[]
| Improve this Doc View Source

match_case(Int32)

Declaration
public SMTLIBv2Parser.Match_caseContext match_case(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
SMTLIBv2Parser.Match_caseContext
| Improve this Doc View Source

ParClose()

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

ParClose(Int32)

Declaration
public ITerminalNode ParClose(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
ITerminalNode
| Improve this Doc View Source

ParOpen()

Declaration
public ITerminalNode[] ParOpen()
Returns
Type Description
ITerminalNode[]
| Improve this Doc View Source

ParOpen(Int32)

Declaration
public ITerminalNode ParOpen(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
ITerminalNode
| Improve this Doc View Source

qual_identifer()

Declaration
public SMTLIBv2Parser.Qual_identiferContext qual_identifer()
Returns
Type Description
SMTLIBv2Parser.Qual_identiferContext
| Improve this Doc View Source

sorted_var()

Declaration
public SMTLIBv2Parser.Sorted_varContext[] sorted_var()
Returns
Type Description
SMTLIBv2Parser.Sorted_varContext[]
| Improve this Doc View Source

sorted_var(Int32)

Declaration
public SMTLIBv2Parser.Sorted_varContext sorted_var(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
SMTLIBv2Parser.Sorted_varContext
| Improve this Doc View Source

spec_constant()

Declaration
public SMTLIBv2Parser.Spec_constantContext spec_constant()
Returns
Type Description
SMTLIBv2Parser.Spec_constantContext
| Improve this Doc View Source

term()

Declaration
public SMTLIBv2Parser.TermContext[] term()
Returns
Type Description
SMTLIBv2Parser.TermContext[]
| Improve this Doc View Source

term(Int32)

Declaration
public SMTLIBv2Parser.TermContext term(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
SMTLIBv2Parser.TermContext
| Improve this Doc View Source

var_binding()

Declaration
public SMTLIBv2Parser.Var_bindingContext[] var_binding()
Returns
Type Description
SMTLIBv2Parser.Var_bindingContext[]
| Improve this Doc View Source

var_binding(Int32)

Declaration
public SMTLIBv2Parser.Var_bindingContext var_binding(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
SMTLIBv2Parser.Var_bindingContext