Interface FormulaNodeVisitor<T,L,AP>
-
- All Known Implementing Classes:
CTLToMuCalc
public interface FormulaNodeVisitor<T,L,AP>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description T
visit(AndNode<L,AP> node)
T
visit(AtomicNode<L,AP> node)
T
visit(BoxNode<L,AP> node)
T
visit(AFNode<L,AP> node)
T
visit(AGNode<L,AP> node)
T
visit(AUNode<L,AP> node)
T
visit(AWUNode<L,AP> node)
T
visit(EFNode<L,AP> node)
T
visit(EGNode<L,AP> node)
T
visit(EUNode<L,AP> node)
T
visit(EWUNode<L,AP> node)
T
visit(DiamondNode<L,AP> node)
T
visit(FalseNode<L,AP> node)
T
visit(FormulaNode<L,AP> node)
T
visit(GfpNode<L,AP> node)
T
visit(LfpNode<L,AP> node)
T
visit(VariableNode<L,AP> node)
T
visit(NotNode<L,AP> node)
T
visit(OrNode<L,AP> node)
T
visit(TrueNode<L,AP> node)
-
-
-
Method Detail
-
visit
T visit(FormulaNode<L,AP> node)
-
visit
T visit(AtomicNode<L,AP> node)
-
visit
T visit(DiamondNode<L,AP> node)
-
visit
T visit(VariableNode<L,AP> node)
-
-