LTLParser.BooleanContext
, LTLParser.NestedContext
, LTLParser.VariableContext
public static class LTLParser.AtomExpressionContext
extends org.antlr.v4.runtime.ParserRuleContext
Constructor | Description |
---|---|
AtomExpressionContext() |
|
AtomExpressionContext(org.antlr.v4.runtime.ParserRuleContext parent,
int invokingState) |
Modifier and Type | Method | Description |
---|---|---|
void |
copyFrom(LTLParser.AtomExpressionContext ctx) |
|
int |
getRuleIndex() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, enterRule, exitRule, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public AtomExpressionContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)
public AtomExpressionContext()
public int getRuleIndex()
getRuleIndex
in class org.antlr.v4.runtime.RuleContext
public void copyFrom(LTLParser.AtomExpressionContext ctx)