public int GetNumberOfStates() { return(UnderlyingStateScheduler.GetNumberOfStates()); }
public int GetNumberOfStates() { Debug.Assert(EscapingBlocks != null, "Escaping blocks not set"); return(LoopEscapingStates.Count + UnderlyingScheduler.GetNumberOfStates()); }