projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix apparent bug...
[satcheck.git]
/
execpoint.h
diff --git
a/execpoint.h
b/execpoint.h
index 74344ead03fcda600ad5ad2b86da6dbcb8c211aa..74650eda1e94c77322ddbcbc201b28fe19d9bf18 100644
(file)
--- a/
execpoint.h
+++ b/
execpoint.h
@@
-21,7
+21,7
@@
enum ExecPointType {EP_BRANCH, EP_COUNTER, EP_LOOP};
enum CompareResult {CR_BEFORE, CR_AFTER, CR_EQUALS, CR_INCOMPARABLE};
class ExecPoint {
enum CompareResult {CR_BEFORE, CR_AFTER, CR_EQUALS, CR_INCOMPARABLE};
class ExecPoint {
-
public:
+public:
ExecPoint(int length, thread_id_t thread_id);
ExecPoint(ExecPoint * e);
~ExecPoint();
ExecPoint(int length, thread_id_t thread_id);
ExecPoint(ExecPoint * e);
~ExecPoint();
@@
-40,7
+40,7
@@
class ExecPoint {
void print();
void print(int f);
MEMALLOC;
void print();
void print(int f);
MEMALLOC;
-
private:
+private:
unsigned int length;
unsigned int size;
execcount_t * pairarray;
unsigned int length;
unsigned int size;
execcount_t * pairarray;