Uses of Class
rwth.i2.ltlrv.afastate.interfaze.IAFAState.ValidationException

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.