Uses of Interface
rwth.i2.ltlrv.formula.interfaze.IUnaryTerm

Packages that use IUnaryTerm

rwth.i2.ltlrv.afastate.base	Abstract base classes for all AFA states.
rwth.i2.ltlrv.afastate.impl	Implementing classes of AFA states.
rwth.i2.ltlrv.afastate.interfaze	Common interfaces for all AFA states.
rwth.i2.ltlrv.formula.base	Abstract base classes for LTL term constructors.
rwth.i2.ltlrv.formula.impl	Implementing classes for LTL term constructors.
rwth.i2.ltlrv.formula.interfaze	Common interfaces for LTL term constructors.

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

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

class

UnaryAFAState UnaryAFAState - Abstract superclass of all unary formulae.

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

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

class	Next Next - Implements the Next formula constructor of LTL.
class	Not Not - Implements the Not operator.

Uses of IUnaryTerm in rwth.i2.ltlrv.afastate.interfaze

Subinterfaces of IUnaryTerm in rwth.i2.ltlrv.afastate.interfaze

interface	INext INext represents the Next operator
interface	INot INot represents the negation operator
interface	IUnaryAFAState IUnaryAFAState - Common interface for unary AFA states.

Uses of IUnaryTerm in rwth.i2.ltlrv.formula.base

Classes in rwth.i2.ltlrv.formula.base that implement IUnaryTerm

class

UnaryFormula BinaryFormula - Abstract superclass of all unary formulae.

Uses of IUnaryTerm in rwth.i2.ltlrv.formula.impl

Classes in rwth.i2.ltlrv.formula.impl that implement IUnaryTerm

class	Finally Finally - Implements the Finally formula constructor of LTL.
class	Globally Globally - Implements the Globally formula constructor of LTL.

Uses of IUnaryTerm in rwth.i2.ltlrv.formula.interfaze

Subinterfaces of IUnaryTerm in rwth.i2.ltlrv.formula.interfaze

interface	IFinally IFinally represents the finally operator
interface	IGlobally IGlobally represents the globally operator