java.lang.Object
- org.logicng.io.parsers.LogicNGPropositionalBaseListener

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTreeListener, LogicNGPropositionalListener
```
public class LogicNGPropositionalBaseListener
extends Object
implements LogicNGPropositionalListener
```
This class provides an empty implementation of LogicNGPropositionalListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

Constructor Summary

Constructors
Constructor Description

LogicNGPropositionalBaseListener()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`enterConj(LogicNGPropositionalParser.ConjContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.conj()`.
`void`	`enterConstant(LogicNGPropositionalParser.ConstantContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.constant()`.
`void`	`enterDisj(LogicNGPropositionalParser.DisjContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.disj()`.
`void`	`enterEquiv(LogicNGPropositionalParser.EquivContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.equiv()`.
`void`	`enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)`
`void`	`enterFormula(LogicNGPropositionalParser.FormulaContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.formula()`.
`void`	`enterImpl(LogicNGPropositionalParser.ImplContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.impl()`.
`void`	`enterLit(LogicNGPropositionalParser.LitContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.lit()`.
`void`	`enterSimp(LogicNGPropositionalParser.SimpContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.simp()`.
`void`	`exitConj(LogicNGPropositionalParser.ConjContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.conj()`.
`void`	`exitConstant(LogicNGPropositionalParser.ConstantContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.constant()`.
`void`	`exitDisj(LogicNGPropositionalParser.DisjContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.disj()`.
`void`	`exitEquiv(LogicNGPropositionalParser.EquivContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.equiv()`.
`void`	`exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)`
`void`	`exitFormula(LogicNGPropositionalParser.FormulaContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.formula()`.
`void`	`exitImpl(LogicNGPropositionalParser.ImplContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.impl()`.
`void`	`exitLit(LogicNGPropositionalParser.LitContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.lit()`.
`void`	`exitSimp(LogicNGPropositionalParser.SimpContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.simp()`.
`void`	`visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)`
`void`	`visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - LogicNGPropositionalBaseListener
```
public LogicNGPropositionalBaseListener()
```
- Method Detail
  - enterFormula
```
public void enterFormula(LogicNGPropositionalParser.FormulaContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.formula().
    The default implementation does nothing.
    
    Specified by:
    
    enterFormula in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - exitFormula
```
public void exitFormula(LogicNGPropositionalParser.FormulaContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.formula().
    The default implementation does nothing.
    
    Specified by:
    
    exitFormula in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - enterConstant
```
public void enterConstant(LogicNGPropositionalParser.ConstantContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.constant().
    The default implementation does nothing.
    
    Specified by:
    
    enterConstant in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - exitConstant
```
public void exitConstant(LogicNGPropositionalParser.ConstantContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.constant().
    The default implementation does nothing.
    
    Specified by:
    
    exitConstant in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - enterSimp
```
public void enterSimp(LogicNGPropositionalParser.SimpContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.simp().
    The default implementation does nothing.
    
    Specified by:
    
    enterSimp in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - exitSimp
```
public void exitSimp(LogicNGPropositionalParser.SimpContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.simp().
    The default implementation does nothing.
    
    Specified by:
    
    exitSimp in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - enterLit
```
public void enterLit(LogicNGPropositionalParser.LitContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.lit().
    The default implementation does nothing.
    
    Specified by:
    
    enterLit in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - exitLit
```
public void exitLit(LogicNGPropositionalParser.LitContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.lit().
    The default implementation does nothing.
    
    Specified by:
    
    exitLit in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - enterConj
```
public void enterConj(LogicNGPropositionalParser.ConjContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.conj().
    The default implementation does nothing.
    
    Specified by:
    
    enterConj in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - exitConj
```
public void exitConj(LogicNGPropositionalParser.ConjContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.conj().
    The default implementation does nothing.
    
    Specified by:
    
    exitConj in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - enterDisj
```
public void enterDisj(LogicNGPropositionalParser.DisjContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.disj().
    The default implementation does nothing.
    
    Specified by:
    
    enterDisj in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - exitDisj
```
public void exitDisj(LogicNGPropositionalParser.DisjContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.disj().
    The default implementation does nothing.
    
    Specified by:
    
    exitDisj in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - enterImpl
```
public void enterImpl(LogicNGPropositionalParser.ImplContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.impl().
    The default implementation does nothing.
    
    Specified by:
    
    enterImpl in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - exitImpl
```
public void exitImpl(LogicNGPropositionalParser.ImplContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.impl().
    The default implementation does nothing.
    
    Specified by:
    
    exitImpl in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - enterEquiv
```
public void enterEquiv(LogicNGPropositionalParser.EquivContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.equiv().
    The default implementation does nothing.
    
    Specified by:
    
    enterEquiv in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - exitEquiv
```
public void exitEquiv(LogicNGPropositionalParser.EquivContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.equiv().
    The default implementation does nothing.
    
    Specified by:
    
    exitEquiv in interface LogicNGPropositionalListener
    
    Parameters:
    
    ctx - the parse tree
  - enterEveryRule
```
public void enterEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
```
    The default implementation does nothing.
    
    Specified by:
    
    enterEveryRule in interface org.antlr.v4.runtime.tree.ParseTreeListener
  - exitEveryRule
```
public void exitEveryRule(org.antlr.v4.runtime.ParserRuleContext ctx)
```
    The default implementation does nothing.
    
    Specified by:
    
    exitEveryRule in interface org.antlr.v4.runtime.tree.ParseTreeListener
  - visitTerminal
```
public void visitTerminal(org.antlr.v4.runtime.tree.TerminalNode node)
```
    The default implementation does nothing.
    
    Specified by:
    
    visitTerminal in interface org.antlr.v4.runtime.tree.ParseTreeListener
  - visitErrorNode
```
public void visitErrorNode(org.antlr.v4.runtime.tree.ErrorNode node)
```
    The default implementation does nothing.
    
    Specified by:
    
    visitErrorNode in interface org.antlr.v4.runtime.tree.ParseTreeListener

Class LogicNGPropositionalBaseListener

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

LogicNGPropositionalBaseListener

Method Detail

enterFormula

exitFormula

enterConstant

exitConstant

enterSimp

exitSimp

enterLit

exitLit

enterConj

exitConj

enterDisj

exitDisj

enterImpl

exitImpl

enterEquiv

exitEquiv

enterEveryRule

exitEveryRule

visitTerminal

visitErrorNode