Uses of Interface
rwth.i2.ltlrv.afastate.interfaze.IBinaryAFAState

Packages that use IBinaryAFAState

rwth.i2.ltlrv.afastate.base	Abstract base classes for all AFA states.
rwth.i2.ltlrv.afastate.impl	Implementing classes of AFA states.

Uses of IBinaryAFAState in rwth.i2.ltlrv.afastate.base

Classes in rwth.i2.ltlrv.afastate.base that implement IBinaryAFAState

class	BinaryAFAState BinaryAFAState - Abstract superclass of all binary formulae.
class	CommutativeBinaryAFAState Represents a binary formula, which is commutative.

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

Classes in rwth.i2.ltlrv.afastate.impl that implement IBinaryAFAState

class	And And - Implements a conjunct.
class	Or Or - Implements a disjunct.
class	Release Release - Implements the Release operator in LTL.
class	Until Until - Implements the Until operator in LTL.