/// <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());
}
