Uses of Class
rwth.i2.ltlrv.formula.base.AbstractFormula

Packages that use AbstractFormula

rwth.i2.ltlrv.afastate.base	Abstract base classes for all AFA states.
rwth.i2.ltlrv.afastate.impl	Implementing classes of AFA states.
rwth.i2.ltlrv.formula.base	Abstract base classes for LTL term constructors.
rwth.i2.ltlrv.formula.impl	Implementing classes for LTL term constructors.

Uses of AbstractFormula in rwth.i2.ltlrv.afastate.base

Subclasses of AbstractFormula in rwth.i2.ltlrv.afastate.base

class	AbstractAFAState Abstract superclass of all formulae.
class	BinaryAFAState BinaryAFAState - Abstract superclass of all binary formulae.
class	CommutativeBinaryAFAState Represents a binary formula, which is commutative.
class	NullaryAFAState NullaryAFAState - Abstract base class of all nullary AFA states.
class	UnaryAFAState UnaryAFAState - Abstract superclass of all unary formulae.

Uses of AbstractFormula in rwth.i2.ltlrv.afastate.impl

Subclasses of AbstractFormula in rwth.i2.ltlrv.afastate.impl

class	And And - Implements a conjunct.
class	FF FF - Implements the sink state / formula representing false.
class	Next Next - Implements the Next formula constructor of LTL.
class	Not Not - Implements the Not operator.
class	Or Or - Implements a disjunct.
class	Proposition Proposition - Implements a proposition.
class	Release Release - Implements the Release operator in LTL.
class	TT TT - Implements the sink state / formula representing true.
class	Until Until - Implements the Until operator in LTL.

Uses of AbstractFormula in rwth.i2.ltlrv.formula.base

Subclasses of AbstractFormula in rwth.i2.ltlrv.formula.base

class	BinaryFormula BinaryFormula - Abstract superclass of all binary formulae.
class	CommutativeBinaryFormula CommutativeBinaryFormula - Abstract superclass of all binary formulae which are commutative.
class	UnaryFormula BinaryFormula - Abstract superclass of all unary formulae.

Uses of AbstractFormula in rwth.i2.ltlrv.formula.impl

Subclasses of AbstractFormula in rwth.i2.ltlrv.formula.impl

class	Equivalent Equivalent - Implements the equivalent relation as subformula.
class	Finally Finally - Implements the Finally formula constructor of LTL.
class	Globally Globally - Implements the Globally formula constructor of LTL.
class	Implies Implies - Implements the Implies relation as subformula.