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; }