Uses of Class
net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode
-
Packages that use AbstractUnaryFormulaNode Package Description net.automatalib.modelchecker.m3c.formula net.automatalib.modelchecker.m3c.formula.ctl net.automatalib.modelchecker.m3c.formula.modalmu -
-
Uses of AbstractUnaryFormulaNode in net.automatalib.modelchecker.m3c.formula
Subclasses of AbstractUnaryFormulaNode in net.automatalib.modelchecker.m3c.formula Modifier and Type Class Description class
AbstractModalFormulaNode<L,AP>
Abstract super-class for modal (sub-) formulas.class
BoxNode<L,AP>
Java representation of a "[]" (sub-)formula.class
DiamondNode<L,AP>
Java representation of a "<>" (sub-)formula.class
NotNode<L,AP>
Java representation of a "!" -
Uses of AbstractUnaryFormulaNode in net.automatalib.modelchecker.m3c.formula.ctl
Subclasses of AbstractUnaryFormulaNode 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
EFNode<L,AP>
Java representation of a "EF" (sub-)formula.class
EGNode<L,AP>
Java representation of a "EG" (sub-)formula. -
Uses of AbstractUnaryFormulaNode in net.automatalib.modelchecker.m3c.formula.modalmu
Subclasses of AbstractUnaryFormulaNode 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.
-