public IndexExternalChoice(IndexedProcess definition)
{
IndexedProcessDefinition = definition;
}
public IndexParallel(IndexedProcess indexedProcessDefinition)
{
IndexedProcessDefinition = indexedProcessDefinition;
}
public IndexInterleave(IndexedProcess definition)
{
IndexedProcessDefinition = definition;
}
/// <summary>
/// constructor for indexed choice.
/// </summary>
/// <param name="definition"></param>
public IndexChoice(IndexedProcess definition)
{
IndexedProcessDefinition = definition;
}
