CTLVisitor

Type Parameters:

T - The return type of the visit operation. Use Void for operations with no return type.

All Superinterfaces:

org.antlr.v4.runtime.tree.ParseTreeVisitor<T>

All Known Implementing Classes:

CTLBaseVisitor
```
public interface CTLVisitor<T>
extends org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
```
This interface defines a complete generic visitor for a parse tree produced by CTLParser.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`T`	`visitAnd(CTLParser.AndContext ctx)` Visit a parse tree produced by the `And` labeled alternative in `CTLParser.formula()`.
`T`	`visitAtomicProposition(CTLParser.AtomicPropositionContext ctx)` Visit a parse tree produced by the `AtomicProposition` labeled alternative in `CTLParser.formula()`.
`T`	`visitBracket(CTLParser.BracketContext ctx)` Visit a parse tree produced by the `Bracket` labeled alternative in `CTLParser.formula()`.
`T`	`visitExistsAlways(CTLParser.ExistsAlwaysContext ctx)` Visit a parse tree produced by the `ExistsAlways` labeled alternative in `CTLParser.formula()`.
`T`	`visitExistsEventually(CTLParser.ExistsEventuallyContext ctx)` Visit a parse tree produced by the `ExistsEventually` labeled alternative in `CTLParser.formula()`.
`T`	`visitExistsNext(CTLParser.ExistsNextContext ctx)` Visit a parse tree produced by the `ExistsNext` labeled alternative in `CTLParser.formula()`.
`T`	`visitExistsUntil(CTLParser.ExistsUntilContext ctx)` Visit a parse tree produced by the `ExistsUntil` labeled alternative in `CTLParser.formula()`.
`T`	`visitFalse(CTLParser.FalseContext ctx)` Visit a parse tree produced by the `False` labeled alternative in `CTLParser.formula()`.
`T`	`visitForAllAlways(CTLParser.ForAllAlwaysContext ctx)` Visit a parse tree produced by the `ForAllAlways` labeled alternative in `CTLParser.formula()`.
`T`	`visitForAllEventually(CTLParser.ForAllEventuallyContext ctx)` Visit a parse tree produced by the `ForAllEventually` labeled alternative in `CTLParser.formula()`.
`T`	`visitForAllNext(CTLParser.ForAllNextContext ctx)` Visit a parse tree produced by the `ForAllNext` labeled alternative in `CTLParser.formula()`.
`T`	`visitForAllUntil(CTLParser.ForAllUntilContext ctx)` Visit a parse tree produced by the `ForAllUntil` labeled alternative in `CTLParser.formula()`.
`T`	`visitIff(CTLParser.IffContext ctx)` Visit a parse tree produced by the `Iff` labeled alternative in `CTLParser.formula()`.
`T`	`visitImplies(CTLParser.ImpliesContext ctx)` Visit a parse tree produced by the `Implies` labeled alternative in `CTLParser.formula()`.
`T`	`visitNot(CTLParser.NotContext ctx)` Visit a parse tree produced by the `Not` labeled alternative in `CTLParser.formula()`.
`T`	`visitOr(CTLParser.OrContext ctx)` Visit a parse tree produced by the `Or` labeled alternative in `CTLParser.formula()`.
`T`	`visitRoot(CTLParser.RootContext ctx)` Visit a parse tree produced by `CTLParser.root()`.
`T`	`visitTrue(CTLParser.TrueContext ctx)` Visit a parse tree produced by the `True` labeled alternative in `CTLParser.formula()`.

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeVisitor
visit, visitChildren, visitErrorNode, visitTerminal

- Method Detail
  - visitRoot
```
T visitRoot(CTLParser.RootContext ctx)
```
    Visit a parse tree produced by CTLParser.root().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitBracket
```
T visitBracket(CTLParser.BracketContext ctx)
```
    Visit a parse tree produced by the Bracket labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitForAllAlways
```
T visitForAllAlways(CTLParser.ForAllAlwaysContext ctx)
```
    Visit a parse tree produced by the ForAllAlways labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitOr
```
T visitOr(CTLParser.OrContext ctx)
```
    Visit a parse tree produced by the Or labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitIff
```
T visitIff(CTLParser.IffContext ctx)
```
    Visit a parse tree produced by the Iff labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitTrue
```
T visitTrue(CTLParser.TrueContext ctx)
```
    Visit a parse tree produced by the True labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitFalse
```
T visitFalse(CTLParser.FalseContext ctx)
```
    Visit a parse tree produced by the False labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitExistsEventually
```
T visitExistsEventually(CTLParser.ExistsEventuallyContext ctx)
```
    Visit a parse tree produced by the ExistsEventually labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitAtomicProposition
```
T visitAtomicProposition(CTLParser.AtomicPropositionContext ctx)
```
    Visit a parse tree produced by the AtomicProposition labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitForAllEventually
```
T visitForAllEventually(CTLParser.ForAllEventuallyContext ctx)
```
    Visit a parse tree produced by the ForAllEventually labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitNot
```
T visitNot(CTLParser.NotContext ctx)
```
    Visit a parse tree produced by the Not labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitForAllUntil
```
T visitForAllUntil(CTLParser.ForAllUntilContext ctx)
```
    Visit a parse tree produced by the ForAllUntil labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitImplies
```
T visitImplies(CTLParser.ImpliesContext ctx)
```
    Visit a parse tree produced by the Implies labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitForAllNext
```
T visitForAllNext(CTLParser.ForAllNextContext ctx)
```
    Visit a parse tree produced by the ForAllNext labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitAnd
```
T visitAnd(CTLParser.AndContext ctx)
```
    Visit a parse tree produced by the And labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitExistsAlways
```
T visitExistsAlways(CTLParser.ExistsAlwaysContext ctx)
```
    Visit a parse tree produced by the ExistsAlways labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitExistsUntil
```
T visitExistsUntil(CTLParser.ExistsUntilContext ctx)
```
    Visit a parse tree produced by the ExistsUntil labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result
  - visitExistsNext
```
T visitExistsNext(CTLParser.ExistsNextContext ctx)
```
    Visit a parse tree produced by the ExistsNext labeled alternative in CTLParser.formula().
    
    Parameters:
    
    ctx - the parse tree
    
    Returns:
    
    the visitor result

Interface CTLVisitor<T>

Method Summary

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

Method Detail

visitRoot

visitBracket

visitForAllAlways

visitOr

visitIff

visitTrue

visitFalse

visitExistsEventually

visitAtomicProposition

visitForAllEventually

visitNot

visitForAllUntil

visitImplies

visitForAllNext

visitAnd

visitExistsAlways

visitExistsUntil

visitExistsNext