projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix MC_Equals to handle NODEP MCIDs.
[satcheck.git]
/
snapshot-interface.cc
diff --git
a/snapshot-interface.cc
b/snapshot-interface.cc
index 4f9a4d5444008776c1b06a3899f41a1339cecac7..dd4810715fac6d21efe60b0941be26586a0928b0 100644
(file)
--- a/
snapshot-interface.cc
+++ b/
snapshot-interface.cc
@@
-32,12
+32,12
@@
struct snapshot_entry {
};
class SnapshotStack {
};
class SnapshotStack {
-
public:
+public:
int backTrackBeforeStep(int seq_index);
void snapshotStep(int seq_index);
MEMALLOC;
int backTrackBeforeStep(int seq_index);
void snapshotStep(int seq_index);
MEMALLOC;
-
private:
+private:
ModelVector<struct snapshot_entry> stack;
};
ModelVector<struct snapshot_entry> stack;
};
@@
-164,7
+164,7
@@
static void SnapshotGlobalSegments()
int SnapshotStack::backTrackBeforeStep(int seqindex)
{
int i;
int SnapshotStack::backTrackBeforeStep(int seqindex)
{
int i;
- for (i = (int)stack.size() - 1;
i >= 0;
i++)
+ for (i = (int)stack.size() - 1;
i >= 0;
i++)
if (stack[i].index <= seqindex)
break;
else
if (stack[i].index <= seqindex)
break;
else