|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IAFAState.ValidationException | |
---|---|
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.management | Holds classes for configuration management and formula creation. |
Uses of IAFAState.ValidationException in rwth.i2.ltlrv.afastate.base |
---|
Methods in rwth.i2.ltlrv.afastate.base that throw IAFAState.ValidationException | |
---|---|
void |
AbstractAFAState.validate()
Implementation of IAFAState.validate() . |
void |
UnaryAFAState.validate(Set<String> context)
To be implemented by actual formulae as described in IAFAState.validate() . |
void |
NullaryAFAState.validate(Set<String> context)
To be implemented by actual formulae as described in IAFAState.validate() . |
void |
BinaryAFAState.validate(Set<String> context)
To be implemented by actual formulae as described in IAFAState.validate() . |
abstract void |
AbstractAFAState.validate(Set<String> context)
To be implemented by actual formulae as described in IAFAState.validate() . |
Uses of IAFAState.ValidationException in rwth.i2.ltlrv.afastate.impl |
---|
Methods in rwth.i2.ltlrv.afastate.impl that throw IAFAState.ValidationException | |
---|---|
void |
Proposition.validate(Set<String> context)
To be implemented by actual formulae as described in IAFAState.validate() . |
Uses of IAFAState.ValidationException in rwth.i2.ltlrv.afastate.interfaze |
---|
Methods in rwth.i2.ltlrv.afastate.interfaze that throw IAFAState.ValidationException | |
---|---|
void |
IAFAState.validate()
Validates a formula for consistent bindings. |
Uses of IAFAState.ValidationException in rwth.i2.ltlrv.management |
---|
Constructors in rwth.i2.ltlrv.management that throw IAFAState.ValidationException | |
---|---|
Configuration(IAFAState initialState)
Constructs a new configuration for an initial state. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |