Uses of Class
net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode

Packages that use AbstractFormulaNode

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

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

Subclasses of AbstractFormulaNode in net.automatalib.modelchecker.m3c.formula

Modifier and Type	Class	Description
class	AbstractBinaryFormulaNode<L,AP>	Abstract super-class for binary (sub-) formulas.
class	AbstractModalFormulaNode<L,AP>	Abstract super-class for modal (sub-) formulas.
class	AbstractUnaryFormulaNode<L,AP>	Abstract super-class for unary (sub-) formulas.
class	AndNode<L,AP>	Java representation of a "&&" (sub-)formula.
class	AtomicNode<L,AP>	Java representation of an "atomic proposition" (sub-)formula.
class	BoxNode<L,AP>	Java representation of a "[]" (sub-)formula.
class	DiamondNode<L,AP>	Java representation of a "<>" (sub-)formula.
class	FalseNode<L,AP>	Java representation of a "false" (sub-)formula.
class	NotNode<L,AP>	Java representation of a "!"
class	OrNode<L,AP>	Java representation of a "||" (sub-)formula.
class	TrueNode<L,AP>	Java representation of a "true" (sub-)formula.

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

Subclasses of AbstractFormulaNode in net.automatalib.modelchecker.m3c.formula.ctl

Modifier and Type	Class	Description
class	AFNode<L,AP>	Java representation of a "AF" (sub-)formula.
class	AGNode<L,AP>	Java representation of a "AG" (sub-)formula.
class	AUNode<L,AP>	Java representation of a "AU" (sub-)formula.
class	AWUNode<L,AP>	Java representation of an "AWU" (sub-)formula.
class	EFNode<L,AP>	Java representation of a "EF" (sub-)formula.
class	EGNode<L,AP>	Java representation of a "EG" (sub-)formula.
class	EUNode<L,AP>	Java representation of a "EU" (sub-)formula.
class	EWUNode<L,AP>	Java representation of a "EWU" (sub-)formula.

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

Subclasses of AbstractFormulaNode in net.automatalib.modelchecker.m3c.formula.modalmu

Modifier and Type	Class	Description
class	AbstractFixedPointFormulaNode<L,AP>	Abstract super-class for fix-point (sub-) formulas.
class	GfpNode<L,AP>	Java representation of a "nu" (sub-)formula.
class	LfpNode<L,AP>	Java representation of a "mu" (sub-)formula.
class	VariableNode<L,AP>	Java representation of an "X" (sub-)formula.