projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Getting some bugs fixed ...
[satune.git]
/
src
/
Backend
/
sattranslator.h
diff --git
a/src/Backend/sattranslator.h
b/src/Backend/sattranslator.h
index ea0085c7bcd99b95e3316ba19951c25c1d079274..52e40a7bcd2854c7590736789b64c3766485ee7c 100644
(file)
--- a/
src/Backend/sattranslator.h
+++ b/
src/Backend/sattranslator.h
@@
-11,7
+11,10
@@
#include "classlist.h"
bool getBooleanVariableValueSATTranslator( CSolver* This , Boolean* boolean);
#include "classlist.h"
bool getBooleanVariableValueSATTranslator( CSolver* This , Boolean* boolean);
+uint64_t getElementValueBinaryIndexSATTranslator(CSolver* This, ElementEncoding* elemEnc);
+uint64_t getElementValueBinaryValueSATTranslator(CSolver* This, ElementEncoding* elemEnc);
uint64_t getElementValueOneHotSATTranslator(CSolver* This, ElementEncoding* elemEnc);
uint64_t getElementValueOneHotSATTranslator(CSolver* This, ElementEncoding* elemEnc);
+uint64_t getElementValueUnarySATTranslator(CSolver* This, ElementEncoding* elemEnc);
uint64_t getElementValueSATTranslator(CSolver* This, Element* element);
#endif /* SATTRANSLATOR_H */
uint64_t getElementValueSATTranslator(CSolver* This, Element* element);
#endif /* SATTRANSLATOR_H */