projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
small edits
[satcheck.git]
/
valuerecord.h
diff --git
a/valuerecord.h
b/valuerecord.h
index 9269223ad2f801f16c3b31f750ae7fe529192e6c..fdfad21b7059a540e7471420c968e6c13639003c 100644
(file)
--- a/
valuerecord.h
+++ b/
valuerecord.h
@@
-12,14
+12,14
@@
#include "classlist.h"
class ValueRecord {
#include "classlist.h"
class ValueRecord {
-
public:
+public:
ValueRecord(IntHashSet *set);
ValueRecord(IntHashSet *set);
- ~ValueRecord();
- Constraint * getValueEncoding(Constraint **vars, uint64_t value);
+
~ValueRecord();
+
Constraint * getValueEncoding(Constraint **vars, uint64_t value);
uint64_t getValue(Constraint **vars, bool *satsolution);
uint getNumVars() {return numvars;}
MEMALLOC;
uint64_t getValue(Constraint **vars, bool *satsolution);
uint getNumVars() {return numvars;}
MEMALLOC;
-
private:
+private:
IntHashSet *set;
uint numvars;
};
IntHashSet *set;
uint numvars;
};