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

Class LogicNGPseudoBooleanParser.ComparisonContext

  • 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:
    LogicNGPseudoBooleanParser
    public static class LogicNGPseudoBooleanParser.ComparisonContext
extends org.antlr.v4.runtime.ParserRuleContext

    • Field Summary

      Fields 
      Modifier and Type Field Description
      LogicNGPseudoBooleanParser.AddContext e  
      org.logicng.formulas.Formula f  
      org.antlr.v4.runtime.Token n  

      • 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
      ComparisonContext​(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      LogicNGPseudoBooleanParser.AddContext add()  
      void enterRule​(org.antlr.v4.runtime.tree.ParseTreeListener listener)  
      org.antlr.v4.runtime.tree.TerminalNode EQ()  
      void exitRule​(org.antlr.v4.runtime.tree.ParseTreeListener listener)  
      org.antlr.v4.runtime.tree.TerminalNode GE()  
      int getRuleIndex()  
      org.antlr.v4.runtime.tree.TerminalNode GT()  
      org.antlr.v4.runtime.tree.TerminalNode LE()  
      org.antlr.v4.runtime.tree.TerminalNode LT()  
      org.antlr.v4.runtime.tree.TerminalNode NUMBER()  

      • 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

      • ComparisonContext

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

    • Method Detail

      • EQ

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

      • NUMBER

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

      • LE

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

      • LT

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

      • GE

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

      • GT

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

      • 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