Class folParser.FormulaContext

Inheritance
System.Object
folParser.FormulaContext
Namespace: GCore.Antlr.Grammers.Fol
Assembly: Fol.dll
Syntax
public class FormulaContext : ParserRuleContext

Constructors

| Improve this Doc View Source

FormulaContext(ParserRuleContext, Int32)

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

bin_connective()

Declaration
public folParser.Bin_connectiveContext bin_connective()
Returns
Type Description
folParser.Bin_connectiveContext
| 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

EQUAL()

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

EXISTS()

Declaration
public ITerminalNode EXISTS()
Returns
Type Description
ITerminalNode
| 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

FORALL()

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

formula()

Declaration
public folParser.FormulaContext[] formula()
Returns
Type Description
folParser.FormulaContext[]
| Improve this Doc View Source

formula(Int32)

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

LPAREN()

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

NOT()

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

pred_constant()

Declaration
public folParser.Pred_constantContext pred_constant()
Returns
Type Description
folParser.Pred_constantContext
| Improve this Doc View Source

RPAREN()

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

separator()

Declaration
public folParser.SeparatorContext[] separator()
Returns
Type Description
folParser.SeparatorContext[]
| Improve this Doc View Source

separator(Int32)

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

term()

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

term(Int32)

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

variable()

Declaration
public folParser.VariableContext variable()
Returns
Type Description
folParser.VariableContext