public override IEnumerable <int> GetPlaceOutArcs(int placeId)
{
foreach (var item in InMatrix.GetRow(placeId).GetIndexedEnumerator())
{
if (item.Value > 0)
{
yield return(item.Key);
}
}
}
//[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);
}
