- bool checkReachable(CycleNode *from, CycleNode *to) const;
-
- /** @brief A flag: true if this graph contains cycles */
- bool hasCycles;
- bool oldCycles;
-
- bool hasRMWViolation;
- bool oldRMWViolation;
-
- std::vector< CycleNode *, SnapshotAlloc<CycleNode *> > rollbackvector;
- std::vector< CycleNode *, SnapshotAlloc<CycleNode *> > rmwrollbackvector;