CTLParser.ExistsNextContext

java.lang.Object
- org.antlr.v4.runtime.RuleContext
- - org.antlr.v4.runtime.ParserRuleContext
  - - CTLParser.FormulaContext
    - - CTLParser.ExistsNextContext

Field Summary
- Fields inherited from class org.antlr.v4.runtime.ParserRuleContext
  children, exception, start, stop
- Fields inherited from class org.antlr.v4.runtime.RuleContext
  EMPTY, invokingState, parent

Constructors
Constructor and Description
`ExistsNextContext(CTLParser.FormulaContext ctx)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`<T> T`	`accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)`
`org.antlr.v4.runtime.tree.TerminalNode`	`E()`
`CTLParser.FormulaContext`	`formula()`
`org.antlr.v4.runtime.tree.TerminalNode`	`X()`

Methods inherited from class org.antlr.v4.runtime.ParserRuleContext
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, enterRule, exitRule, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString

Methods inherited from class org.antlr.v4.runtime.RuleContext
depth, getAltNumber, getPayload, getRuleContext, getText, isEmpty, setAltNumber, setParent, toString, toString, toString, toString, toString, toStringTree, toStringTree, toStringTree

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

public ExistsNextContext(CTLParser.FormulaContext ctx)

public org.antlr.v4.runtime.tree.TerminalNode E()

public org.antlr.v4.runtime.tree.TerminalNode X()

public CTLParser.FormulaContext formula()

Class CTLParser.ExistsNextContext