Package net.automatalib.modelchecker.m3c.formula.visitor

Interface FormulaNodeVisitor<T,L,AP>

All Known Implementing Classes:

CTLToMuCalc

public interface FormulaNodeVisitor<T,L,AP>

Method Summary

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(AFNode<L,AP> node)

visit

T visit(AGNode<L,AP> node)

visit

T visit(AUNode<L,AP> node)

visit

T visit(AWUNode<L,AP> node)

visit

T visit(EFNode<L,AP> node)

visit

T visit(EGNode<L,AP> node)

visit

T visit(EUNode<L,AP> node)

visit

T visit(EWUNode<L,AP> node)

visit

T visit(AndNode<L,AP> node)

visit

T visit(AtomicNode<L,AP> node)

visit

T visit(BoxNode<L,AP> node)

visit

T visit(DiamondNode<L,AP> node)

visit

T visit(FalseNode<L,AP> node)

visit

T visit(NotNode<L,AP> node)

visit

T visit(OrNode<L,AP> node)

visit

T visit(TrueNode<L,AP> node)

visit

T visit(GfpNode<L,AP> node)

visit

T visit(LfpNode<L,AP> node)

visit

T visit(VariableNode<L,AP> node)