public override void Initialize(ParityGame pg)
{
progress = true;
_forward = false;
_forwardList = pg.V.ToList();
_backwardList = pg.V.ToList();
_backwardList.Reverse();
}
public virtual void Initialize(ParityGame pg)
{
this.pg = pg;
progress = true;
}
public override void Initialize(ParityGame pg)
{
base.Initialize(pg);
if (cached)
cachedResult = simple.Invoke(null, pg.V).ToList();
}
public override void Initialize(ParityGame pg)
{
_sccs = TarjanIterative.DetectCycles(pg);
_sccs = TopologicalSort.Sort(_sccs);
progress = true;
_sccEnumerator = _sccs.GetEnumerator();
_sccEnumerator.MoveNext(); // move to first
}
