Package rwth.i2.ltlrv.afastate.impl

Implementing classes of AFA states.

See:
Description

Class Summary

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

Package rwth.i2.ltlrv.afastate.impl Description

Implementing classes of AFA states.

Author:

Eric Bodden