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

Class Summary

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