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.