Uses of Class
rwth.i2.ltlrv.afastate.base.NullaryAFAState

Packages that use NullaryAFAState

rwth.i2.ltlrv.afastate.impl

Implementing classes of AFA states.

Uses of NullaryAFAState in rwth.i2.ltlrv.afastate.impl

Subclasses of NullaryAFAState in rwth.i2.ltlrv.afastate.impl

class	FF FF - Implements the sink state / formula representing false.
class	Proposition Proposition - Implements a proposition.
class	TT TT - Implements the sink state / formula representing true.