public EventBAPairSafety[] Next(BuchiAutomata BA, ConfigurationBase[] steps)
{
EventBAPairSafety[] product = new EventBAPairSafety[steps.Length]; // * BA.States.Length);
for (int i = 0; i < steps.Length; i++)
{
List <string> targetStates = new List <string>();
foreach (string state in States)
{
List <string> states = BA.MakeOneMove(state, steps[i]);
Ultility.Ultility.Union(targetStates, states);
}
product[i] = new EventBAPairSafety(steps[i], targetStates);
}
return(product);
}
public EventBAPairSafety[] Next(BuchiAutomata BA, ConfigurationBase[] steps)
{
EventBAPairSafety[] product = new EventBAPairSafety[steps.Length]; // * BA.States.Length);
for (int i = 0; i < steps.Length; i++)
{
List<string> targetStates = new List<string>();
foreach (string state in States)
{
List<string> states = BA.MakeOneMove(state, steps[i]);
Ultility.Ultility.Union(targetStates, states);
}
product[i] = new EventBAPairSafety(steps[i], targetStates);
}
return product;
}
