public static class LTLParser.BooleanContext extends LTLParser.AtomExpressionContext
Modifier and Type | Field | Description |
---|---|---|
LTLParser.BoolContext |
constant |
Constructor | Description |
---|---|
BooleanContext(LTLParser.AtomExpressionContext ctx) |
Modifier and Type | Method | Description |
---|---|---|
<T> T |
accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor) |
|
LTLParser.BoolContext |
bool() |
|
void |
enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
|
void |
exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener) |
copyFrom, getRuleIndex
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString
public LTLParser.BoolContext constant
public BooleanContext(LTLParser.AtomExpressionContext ctx)
public LTLParser.BoolContext bool()
public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
enterRule
in class org.antlr.v4.runtime.ParserRuleContext
public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
exitRule
in class org.antlr.v4.runtime.ParserRuleContext
public <T> T accept(org.antlr.v4.runtime.tree.ParseTreeVisitor<? extends T> visitor)
accept
in class org.antlr.v4.runtime.RuleContext