Package rwth.i2.ltlrv.formula.impl

Implementing classes for LTL term constructors.

See:
Description

Class Summary

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

Package rwth.i2.ltlrv.formula.impl Description

Implementing classes for LTL term constructors. This holds only term constructors, which are reduced to others when changing to negation normal form. Classes for term constructors, which exist also in negation normal form are contained in rwth.i2.ltlrv.afastate.

Author:

Eric Bodden