Package rwth.i2.ltlrv.formula.base

Abstract base classes for LTL term constructors.

See:
Description

Class Summary

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

Package rwth.i2.ltlrv.formula.base Description

Abstract base 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