/// <summary> /// Gets all transitions towards successor states of <paramref name="state" />. /// </summary> /// <param name="state">The state the successors should be returned for.</param> public override TransitionCollection GetSuccessorTransitions(byte *state) { BeginExecution(); ChoiceResolver.PrepareNextState(); while (ChoiceResolver.PrepareNextPath()) { RuntimeModel.Deserialize(state); ExecuteTransition(); GenerateTransition(); } return(EndExecution()); }
/// <summary> /// Gets all initial transitions of the model. /// </summary> public override TransitionCollection GetInitialTransitions() { BeginExecution(); ChoiceResolver.PrepareNextState(); fixed(byte *state = RuntimeModel.ConstructionState) { while (ChoiceResolver.PrepareNextPath()) { RuntimeModel.Deserialize(state); ExecuteInitialTransition(); GenerateTransition(); } } return(EndExecution()); }