Package rwth.i2.ltlrv.afastate.base

Abstract base classes for all AFA states.

See:
Description

Class Summary

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

Package rwth.i2.ltlrv.afastate.base Description

Abstract base classes for all AFA states.

Author:

Eric Bodden