Class ConcreteSuccessor


  • public class ConcreteSuccessor
    extends Object
    • Constructor Detail

      • ConcreteSuccessor

        public ConcreteSuccessor​(ConcreteState state,
                                 ConcreteTransition[] transitions)
        Constructor
        Parameters:
        state - - The concrete state
        transitions - - The transitions
    • Method Detail

      • getState

        public ConcreteState getState()
        Get concrete state
        Returns:
        state - The concrete state
      • getTransitions

        public ConcreteTransition[] getTransitions()
        Get the transitions of the concrete successor
        Returns:
        transitions - Is length 0 if exception happened.
      • getException

        public CannotEvaluateException getException()
        Get the exception
        Returns:
        e - The exception. null: no exception happened.