public TraversalInfo GetTraversalInfo(StateImpl InitialState, int threadId)
{
TraversalInfo retTraversalInfo = GetTraversalInfoForTrace(TheTrace, threadId, (StateImpl)InitialState.Clone(threadId));
retTraversalInfo.zBounds = Bounds;
if (ZingerConfiguration.DoDelayBounding)
{
retTraversalInfo.ZingDBSchedState = schedulerState;
}
else if (ZingerConfiguration.DoPreemptionBounding)
{
retTraversalInfo.preemptionBounding = preemptionBounding.Clone();
}
retTraversalInfo.IsFingerPrinted = true;
return retTraversalInfo;
}