public void Dispose()
{
if (m_cycleDetector != null)
{
lock (m_cycleDetector.m_syncRoot)
{
m_cycleDetector.m_priority--;
if (m_cycleDetector.m_priority == 0 && m_cycleDetector.m_thread != null)
{
m_cycleDetector.m_thread.Priority = ThreadPriority.Normal;
}
m_cycleDetector = null;
}
}
}
public EdgeSet(CycleDetector worker, Func <IValuePromise[]> valuePromiseChainGetter, Action cycleAnnouncer)
{
m_cycleDetector = worker;
m_valuePromiseChainGetter = valuePromiseChainGetter;
CycleAnnouncer = cycleAnnouncer;
}
public PriorityDecreaser(CycleDetector cycleDetector)
{
m_cycleDetector = cycleDetector;
}