Module org.logicng.parsers
Package org.logicng.io.parsers

Class LogicNGPropositionalParser.FormulaContext

  • All Implemented Interfaces:
    org.antlr.v4.runtime.tree.ParseTree, org.antlr.v4.runtime.tree.RuleNode, org.antlr.v4.runtime.tree.SyntaxTree, org.antlr.v4.runtime.tree.Tree
    Enclosing class:
    LogicNGPropositionalParser
    public static class LogicNGPropositionalParser.FormulaContext
extends org.antlr.v4.runtime.ParserRuleContext

    • Field Summary

      Fields 
      Modifier and Type Field Description
      LogicNGPropositionalParser.EquivContext equiv  
      org.logicng.formulas.Formula f  

      • Fields inherited from class org.antlr.v4.runtime.ParserRuleContext

        children, EMPTY, exception, start, stop

      • Fields inherited from class org.antlr.v4.runtime.RuleContext

        invokingState, parent

    • Constructor Summary

      Constructors 
      Constructor Description
      FormulaContext​(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void enterRule​(org.antlr.v4.runtime.tree.ParseTreeListener listener)  
      org.antlr.v4.runtime.tree.TerminalNode EOF()  
      LogicNGPropositionalParser.EquivContext equiv()  
      void exitRule​(org.antlr.v4.runtime.tree.ParseTreeListener listener)  
      int getRuleIndex()  

      • Methods inherited from class org.antlr.v4.runtime.ParserRuleContext

        addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString

      • Methods inherited from class org.antlr.v4.runtime.RuleContext

        accept, depth, getAltNumber, getPayload, getRuleContext, getText, isEmpty, setAltNumber, setParent, toString, toString, toString, toString, toString, toStringTree, toStringTree, toStringTree

    • Constructor Detail

      • FormulaContext

        public FormulaContext​(org.antlr.v4.runtime.ParserRuleContext parent,
                      int invokingState)

    • Method Detail

      • EOF

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

      • getRuleIndex

        public int getRuleIndex()
        Overrides:
        getRuleIndex in class org.antlr.v4.runtime.RuleContext

      • enterRule

        public void enterRule​(org.antlr.v4.runtime.tree.ParseTreeListener listener)
        Overrides:
        enterRule in class org.antlr.v4.runtime.ParserRuleContext

      • exitRule

        public void exitRule​(org.antlr.v4.runtime.tree.ParseTreeListener listener)
        Overrides:
        exitRule in class org.antlr.v4.runtime.ParserRuleContext