Uses of Interface
net.automatalib.modelchecker.m3c.formula.visitor.FormulaNodeVisitor

Packages that use FormulaNodeVisitor

Package	Description
net.automatalib.modelchecker.m3c.formula
net.automatalib.modelchecker.m3c.formula.ctl
net.automatalib.modelchecker.m3c.formula.modalmu
net.automatalib.modelchecker.m3c.formula.visitor

Uses of FormulaNodeVisitor in net.automatalib.modelchecker.m3c.formula

Methods in net.automatalib.modelchecker.m3c.formula with parameters of type FormulaNodeVisitor

Modifier and Type	Method	Description
<T> T	AndNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	AtomicNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	BoxNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	DiamondNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	FalseNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	FormulaNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	NotNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	OrNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	TrueNode.accept(FormulaNodeVisitor<T,L,AP> visitor)

Uses of FormulaNodeVisitor in net.automatalib.modelchecker.m3c.formula.ctl

Methods in net.automatalib.modelchecker.m3c.formula.ctl with parameters of type FormulaNodeVisitor

Modifier and Type	Method	Description
<T> T	AFNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	AGNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	AUNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	AWUNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	EFNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	EGNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	EUNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	EWUNode.accept(FormulaNodeVisitor<T,L,AP> visitor)

Uses of FormulaNodeVisitor in net.automatalib.modelchecker.m3c.formula.modalmu

Methods in net.automatalib.modelchecker.m3c.formula.modalmu with parameters of type FormulaNodeVisitor

Modifier and Type	Method	Description
<T> T	GfpNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	LfpNode.accept(FormulaNodeVisitor<T,L,AP> visitor)
<T> T	VariableNode.accept(FormulaNodeVisitor<T,L,AP> visitor)

Uses of FormulaNodeVisitor in net.automatalib.modelchecker.m3c.formula.visitor

Classes in net.automatalib.modelchecker.m3c.formula.visitor that implement FormulaNodeVisitor

Modifier and Type	Class	Description
class	CTLToMuCalc<L,AP>	A visitor that transforms a given CTL formula to an equivalent mu-calculus formula.