Package rwth.i2.ltlrv.formula

Holds code for LTL term constructors, which do not occur in an AFA.

See:
Description

Package rwth.i2.ltlrv.formula Description

Holds code for LTL term constructors, which do not occur in an AFA. 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