CTLParser.NotContext

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

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
`NotContext(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)`
`CTLParser.FormulaContext`	`formula()`
`org.antlr.v4.runtime.tree.TerminalNode`	`NEG()`

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 NotContext(CTLParser.FormulaContext ctx)

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

public CTLParser.FormulaContext formula()

Class CTLParser.NotContext