public void SetPostStates(IEnumerable <int> indexes)
{
PostStateIndexes.AddRange(indexes);
}
/// <summary>
/// Sets the POST states of a state transition condition.
/// </summary>
/// <param name="names"></param>
public void SetPostStates(IdList names)
{
PostStateIndexes.AddRange(Variable.Type.GetIndexesOfNames(names));
PostWildcard = names.Wildcard;
}
