rwth.i2.ltlrv.afastate.base
Classes 
AbstractAFAState
BinaryAFAState
CommutativeBinaryAFAState
NullaryAFAState
UnaryAFAState