projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix spacing with make tabbing
[satcheck.git]
/
cgoal.h
diff --git
a/cgoal.h
b/cgoal.h
index 33740623a8f9cd26e0a4eea101d090184ec176f5..e04fc4eb030e28ed6fbb30e2267e90248b06dad1 100644
(file)
--- a/
cgoal.h
+++ b/
cgoal.h
@@
-15,7
+15,7
@@
#include <stdint.h>
class CGoal {
#include <stdint.h>
class CGoal {
-
public:
+public:
CGoal(unsigned int num, uint64_t *vals);
~CGoal();
unsigned int getNum() {return num;}
CGoal(unsigned int num, uint64_t *vals);
~CGoal();
unsigned int getNum() {return num;}
@@
-25,12
+25,12
@@
class CGoal {
void print();
MEMALLOC;
void print();
MEMALLOC;
-
private:
+private:
uint64_t * valarray;
uint64_t outputvalue;
unsigned int num;
unsigned int hash;
uint64_t * valarray;
uint64_t outputvalue;
unsigned int num;
unsigned int hash;
-
+
friend bool CGoalEquals(CGoal *cg1, CGoal *cg2);
friend unsigned int CGoalHash(CGoal *cg);
};
friend bool CGoalEquals(CGoal *cg1, CGoal *cg2);
friend unsigned int CGoalHash(CGoal *cg);
};