- DAGSize = DAG.AssignTopologicalOrder(TopOrder);
- unsigned RMSize = (DAGSize * DAGSize + 7) / 8;
- ReachabilityMatrix = new unsigned char[RMSize];
- memset(ReachabilityMatrix, 0, RMSize);
- ReachMatrixRange = new unsigned[DAGSize];
- memset(ReachMatrixRange, 0, DAGSize * sizeof(unsigned));
- unsigned NumBytes = (DAGSize + 7) / 8;
- UnfoldableSet = new unsigned char[NumBytes];
- memset(UnfoldableSet, 0, NumBytes);
-