All Superinterfaces:

org.antlr.v4.runtime.tree.ParseTreeListener

All Known Implementing Classes:

LogicNGPseudoBooleanBaseListener
```
public interface LogicNGPseudoBooleanListener
extends org.antlr.v4.runtime.tree.ParseTreeListener
```
This interface defines a complete listener for a parse tree produced by LogicNGPseudoBooleanParser.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`enterAdd(LogicNGPseudoBooleanParser.AddContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.add()`.
`void`	`enterComparison(LogicNGPseudoBooleanParser.ComparisonContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.comparison()`.
`void`	`enterConj(LogicNGPseudoBooleanParser.ConjContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.conj()`.
`void`	`enterConstant(LogicNGPseudoBooleanParser.ConstantContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.constant()`.
`void`	`enterDisj(LogicNGPseudoBooleanParser.DisjContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.disj()`.
`void`	`enterEquiv(LogicNGPseudoBooleanParser.EquivContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.equiv()`.
`void`	`enterFormula(LogicNGPseudoBooleanParser.FormulaContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.formula()`.
`void`	`enterImpl(LogicNGPseudoBooleanParser.ImplContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.impl()`.
`void`	`enterLit(LogicNGPseudoBooleanParser.LitContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.lit()`.
`void`	`enterMul(LogicNGPseudoBooleanParser.MulContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.mul()`.
`void`	`enterSimp(LogicNGPseudoBooleanParser.SimpContext ctx)`	Enter a parse tree produced by `LogicNGPseudoBooleanParser.simp()`.
`void`	`exitAdd(LogicNGPseudoBooleanParser.AddContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.add()`.
`void`	`exitComparison(LogicNGPseudoBooleanParser.ComparisonContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.comparison()`.
`void`	`exitConj(LogicNGPseudoBooleanParser.ConjContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.conj()`.
`void`	`exitConstant(LogicNGPseudoBooleanParser.ConstantContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.constant()`.
`void`	`exitDisj(LogicNGPseudoBooleanParser.DisjContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.disj()`.
`void`	`exitEquiv(LogicNGPseudoBooleanParser.EquivContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.equiv()`.
`void`	`exitFormula(LogicNGPseudoBooleanParser.FormulaContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.formula()`.
`void`	`exitImpl(LogicNGPseudoBooleanParser.ImplContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.impl()`.
`void`	`exitLit(LogicNGPseudoBooleanParser.LitContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.lit()`.
`void`	`exitMul(LogicNGPseudoBooleanParser.MulContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.mul()`.
`void`	`exitSimp(LogicNGPseudoBooleanParser.SimpContext ctx)`	Exit a parse tree produced by `LogicNGPseudoBooleanParser.simp()`.

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeListener
enterEveryRule, exitEveryRule, visitErrorNode, visitTerminal

- Method Detail
  - enterFormula
```
void enterFormula(LogicNGPseudoBooleanParser.FormulaContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.formula().
    
    Parameters:
    
    ctx - the parse tree
  - exitFormula
```
void exitFormula(LogicNGPseudoBooleanParser.FormulaContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.formula().
    
    Parameters:
    
    ctx - the parse tree
  - enterConstant
```
void enterConstant(LogicNGPseudoBooleanParser.ConstantContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.constant().
    
    Parameters:
    
    ctx - the parse tree
  - exitConstant
```
void exitConstant(LogicNGPseudoBooleanParser.ConstantContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.constant().
    
    Parameters:
    
    ctx - the parse tree
  - enterComparison
```
void enterComparison(LogicNGPseudoBooleanParser.ComparisonContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.comparison().
    
    Parameters:
    
    ctx - the parse tree
  - exitComparison
```
void exitComparison(LogicNGPseudoBooleanParser.ComparisonContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.comparison().
    
    Parameters:
    
    ctx - the parse tree
  - enterSimp
```
void enterSimp(LogicNGPseudoBooleanParser.SimpContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.simp().
    
    Parameters:
    
    ctx - the parse tree
  - exitSimp
```
void exitSimp(LogicNGPseudoBooleanParser.SimpContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.simp().
    
    Parameters:
    
    ctx - the parse tree
  - enterLit
```
void enterLit(LogicNGPseudoBooleanParser.LitContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.lit().
    
    Parameters:
    
    ctx - the parse tree
  - exitLit
```
void exitLit(LogicNGPseudoBooleanParser.LitContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.lit().
    
    Parameters:
    
    ctx - the parse tree
  - enterConj
```
void enterConj(LogicNGPseudoBooleanParser.ConjContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.conj().
    
    Parameters:
    
    ctx - the parse tree
  - exitConj
```
void exitConj(LogicNGPseudoBooleanParser.ConjContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.conj().
    
    Parameters:
    
    ctx - the parse tree
  - enterDisj
```
void enterDisj(LogicNGPseudoBooleanParser.DisjContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.disj().
    
    Parameters:
    
    ctx - the parse tree
  - exitDisj
```
void exitDisj(LogicNGPseudoBooleanParser.DisjContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.disj().
    
    Parameters:
    
    ctx - the parse tree
  - enterImpl
```
void enterImpl(LogicNGPseudoBooleanParser.ImplContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.impl().
    
    Parameters:
    
    ctx - the parse tree
  - exitImpl
```
void exitImpl(LogicNGPseudoBooleanParser.ImplContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.impl().
    
    Parameters:
    
    ctx - the parse tree
  - enterEquiv
```
void enterEquiv(LogicNGPseudoBooleanParser.EquivContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.equiv().
    
    Parameters:
    
    ctx - the parse tree
  - exitEquiv
```
void exitEquiv(LogicNGPseudoBooleanParser.EquivContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.equiv().
    
    Parameters:
    
    ctx - the parse tree
  - enterMul
```
void enterMul(LogicNGPseudoBooleanParser.MulContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.mul().
    
    Parameters:
    
    ctx - the parse tree
  - exitMul
```
void exitMul(LogicNGPseudoBooleanParser.MulContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.mul().
    
    Parameters:
    
    ctx - the parse tree
  - enterAdd
```
void enterAdd(LogicNGPseudoBooleanParser.AddContext ctx)
```
    Enter a parse tree produced by LogicNGPseudoBooleanParser.add().
    
    Parameters:
    
    ctx - the parse tree
  - exitAdd
```
void exitAdd(LogicNGPseudoBooleanParser.AddContext ctx)
```
    Exit a parse tree produced by LogicNGPseudoBooleanParser.add().
    
    Parameters:
    
    ctx - the parse tree

Interface LogicNGPseudoBooleanListener

Method Summary

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeListener

Method Detail

enterFormula

exitFormula

enterConstant

exitConstant

enterComparison

exitComparison

enterSimp

exitSimp

enterLit

exitLit

enterConj

exitConj

enterDisj

exitDisj

enterImpl

exitImpl

enterEquiv

exitEquiv

enterMul

exitMul

enterAdd

exitAdd