All Superinterfaces:

org.antlr.v4.runtime.tree.ParseTreeListener

All Known Implementing Classes:

LogicNGPropositionalBaseListener
```
public interface LogicNGPropositionalListener
extends org.antlr.v4.runtime.tree.ParseTreeListener
```
This interface defines a complete listener for a parse tree produced by LogicNGPropositionalParser.

Method Summary

All Methods Instance Methods Abstract 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`	`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`	`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()`.

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

- Method Detail
  - enterFormula
```
void enterFormula(LogicNGPropositionalParser.FormulaContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.formula().
    
    Parameters:
    
    ctx - the parse tree
  - exitFormula
```
void exitFormula(LogicNGPropositionalParser.FormulaContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.formula().
    
    Parameters:
    
    ctx - the parse tree
  - enterConstant
```
void enterConstant(LogicNGPropositionalParser.ConstantContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.constant().
    
    Parameters:
    
    ctx - the parse tree
  - exitConstant
```
void exitConstant(LogicNGPropositionalParser.ConstantContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.constant().
    
    Parameters:
    
    ctx - the parse tree
  - enterSimp
```
void enterSimp(LogicNGPropositionalParser.SimpContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.simp().
    
    Parameters:
    
    ctx - the parse tree
  - exitSimp
```
void exitSimp(LogicNGPropositionalParser.SimpContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.simp().
    
    Parameters:
    
    ctx - the parse tree
  - enterLit
```
void enterLit(LogicNGPropositionalParser.LitContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.lit().
    
    Parameters:
    
    ctx - the parse tree
  - exitLit
```
void exitLit(LogicNGPropositionalParser.LitContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.lit().
    
    Parameters:
    
    ctx - the parse tree
  - enterConj
```
void enterConj(LogicNGPropositionalParser.ConjContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.conj().
    
    Parameters:
    
    ctx - the parse tree
  - exitConj
```
void exitConj(LogicNGPropositionalParser.ConjContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.conj().
    
    Parameters:
    
    ctx - the parse tree
  - enterDisj
```
void enterDisj(LogicNGPropositionalParser.DisjContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.disj().
    
    Parameters:
    
    ctx - the parse tree
  - exitDisj
```
void exitDisj(LogicNGPropositionalParser.DisjContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.disj().
    
    Parameters:
    
    ctx - the parse tree
  - enterImpl
```
void enterImpl(LogicNGPropositionalParser.ImplContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.impl().
    
    Parameters:
    
    ctx - the parse tree
  - exitImpl
```
void exitImpl(LogicNGPropositionalParser.ImplContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.impl().
    
    Parameters:
    
    ctx - the parse tree
  - enterEquiv
```
void enterEquiv(LogicNGPropositionalParser.EquivContext ctx)
```
    Enter a parse tree produced by LogicNGPropositionalParser.equiv().
    
    Parameters:
    
    ctx - the parse tree
  - exitEquiv
```
void exitEquiv(LogicNGPropositionalParser.EquivContext ctx)
```
    Exit a parse tree produced by LogicNGPropositionalParser.equiv().
    
    Parameters:
    
    ctx - the parse tree

Interface LogicNGPropositionalListener

Method Summary

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

Method Detail

enterFormula

exitFormula

enterConstant

exitConstant

enterSimp

exitSimp

enterLit

exitLit

enterConj

exitConj

enterDisj

exitDisj

enterImpl

exitImpl

enterEquiv

exitEquiv