Uses of Package
rwth.i2.ltlrv.afastate.interfaze

Packages that use rwth.i2.ltlrv.afastate.interfaze

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.data	Holds some special data structures.
rwth.i2.ltlrv.formula.impl	Implementing classes for LTL term constructors.
rwth.i2.ltlrv.formula.interfaze	Common interfaces for LTL term constructors.
rwth.i2.ltlrv.management	Holds classes for configuration management and formula creation.
rwth.i2.ltlrv.util	Holds utility classes.

Classes in rwth.i2.ltlrv.afastate.interfaze used by rwth.i2.ltlrv.afastate.base

IAFAState
This interface reflects any subformula which is valid as input for AFA generation.

IAFAState.ValidationException
ValidationException - Exception that is thrown on validation of a formula.

IAFAState.VariableKind

IBinaryAFAState
IBinaryAFAState - Common interface for all binary AFA states.

INullaryAFAState
INullaryAFAState - Common interface for nullary AFA states.

IUnaryAFAState
IUnaryAFAState - Common interface for unary AFA states.

Classes in rwth.i2.ltlrv.afastate.interfaze used by rwth.i2.ltlrv.afastate.impl

IAFAState
This interface reflects any subformula which is valid as input for AFA generation.

IAFAState.ValidationException
ValidationException - Exception that is thrown on validation of a formula.

IAFAState.VariableKind

IAnd
IAnd represents a conjunct.

IBinaryAFAState
IBinaryAFAState - Common interface for all binary AFA states.

IFF
IFF represents FF = false

IIfClosure
IIfClosure - Interface for if-closures which are to be evaluated at runtime.

INext
INext represents the Next operator

INot
INot represents the negation operator

INullaryAFAState
INullaryAFAState - Common interface for nullary AFA states.

IOr
IOr represents a disjunct

IProposition
IProposition represents a proposition

IRelease
IRelease - Interface representing the binary Release operator in LTL.

ITT
ITT represents TT = true

IUnaryAFAState
IUnaryAFAState - Common interface for unary AFA states.

IUntil
IUntil - Interface representing the binary Until operator in LTL.

Classes in rwth.i2.ltlrv.afastate.interfaze used by rwth.i2.ltlrv.afastate.interfaze

IAFAState
This interface reflects any subformula which is valid as input for AFA generation.

IAFAState.ValidationException
ValidationException - Exception that is thrown on validation of a formula.

IAFAState.VariableKind

IIfClosure.UserCausedException
UserCausedException - An exception that wraps exceptions caused by the evaluation of an IfClosure.

INullaryAFAState
INullaryAFAState - Common interface for nullary AFA states.

IProposition
IProposition represents a proposition

Classes in rwth.i2.ltlrv.afastate.interfaze used by rwth.i2.ltlrv.data

IProposition
IProposition represents a proposition

Classes in rwth.i2.ltlrv.afastate.interfaze used by rwth.i2.ltlrv.formula.impl

IAFAState
This interface reflects any subformula which is valid as input for AFA generation.

Classes in rwth.i2.ltlrv.afastate.interfaze used by rwth.i2.ltlrv.formula.interfaze

IAFAState
This interface reflects any subformula which is valid as input for AFA generation.

Classes in rwth.i2.ltlrv.afastate.interfaze used by rwth.i2.ltlrv.management

IAFAState
This interface reflects any subformula which is valid as input for AFA generation.

IAFAState.ValidationException
ValidationException - Exception that is thrown on validation of a formula.

IAnd
IAnd represents a conjunct.

IFF
IFF represents FF = false

IIfClosure
IIfClosure - Interface for if-closures which are to be evaluated at runtime.

INext
INext represents the Next operator

INot
INot represents the negation operator

IOr
IOr represents a disjunct

IProposition
IProposition represents a proposition

IRelease
IRelease - Interface representing the binary Release operator in LTL.

ITT
ITT represents TT = true

IUntil
IUntil - Interface representing the binary Until operator in LTL.

Classes in rwth.i2.ltlrv.afastate.interfaze used by rwth.i2.ltlrv.util

IAFAState
This interface reflects any subformula which is valid as input for AFA generation.