//[Pure]
public override IEnumerable <int> NonInhibitorsIntoTransition(int transitionId)
{
Contract.Requires(Transitions.ContainsKey(transitionId));
for (int i = 0; i < InMatrix.GetColumn(transitionId).Count; i++)
{
if (InMatrix[i, transitionId] != 0.0 && !ArcIsInhibitor(i, transitionId))
{
yield return(i);
}
}
}
public override bool IsEmptyTransition(int transitionId)
{
Contract.Requires(Transitions.ContainsKey(transitionId));
return(InMatrix.GetColumn(transitionId).Sum() == 0);
}