projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
adding new hash functions ...
[satune.git]
/
src
/
classlist.h
diff --git
a/src/classlist.h
b/src/classlist.h
index f9aa831660e074755b9773d518af5bfff4569b81..171e66239c0a8a6aa9504d397fe92f593c0f5125 100644
(file)
--- a/
src/classlist.h
+++ b/
src/classlist.h
@@
-21,10
+21,6
@@
typedef struct CSolver CSolver;
struct SATEncoder;
typedef struct SATEncoder SATEncoder;
struct SATEncoder;
typedef struct SATEncoder SATEncoder;
-
-struct Constraint;
-typedef struct Constraint Constraint;
-
typedef struct BooleanOrder BooleanOrder;
typedef struct BooleanVar BooleanVar;
typedef struct BooleanLogic BooleanLogic;
typedef struct BooleanOrder BooleanOrder;
typedef struct BooleanVar BooleanVar;
typedef struct BooleanLogic BooleanLogic;
@@
-45,6
+41,7
@@
typedef struct Set MutableSet;
typedef struct ElementFunction ElementFunction;
typedef struct ElementSet ElementSet;
typedef struct ElementFunction ElementFunction;
typedef struct ElementSet ElementSet;
+typedef struct ElementConst ElementConst;
struct Element;
typedef struct Element Element;
struct Element;
typedef struct Element Element;
@@
-70,6
+67,9
@@
typedef struct Table Table;
struct Order;
typedef struct Order Order;
struct Order;
typedef struct Order Order;
+struct OrderPair;
+typedef struct OrderPair OrderPair;
+
struct ElementEncoding;
typedef struct ElementEncoding ElementEncoding;
struct ElementEncoding;
typedef struct ElementEncoding ElementEncoding;
@@
-82,9
+82,16
@@
typedef struct OrderEncoding OrderEncoding;
struct TableEntry;
typedef struct TableEntry TableEntry;
struct TableEntry;
typedef struct TableEntry TableEntry;
-struct Encodings;
-typedef struct Encodings Encodings;
+struct OrderGraph;
+typedef struct OrderGraph OrderGraph;
+
+struct OrderNode;
+typedef struct OrderNode OrderNode;
+
+struct OrderEdge;
+typedef struct OrderEdge OrderEdge;
typedef unsigned int uint;
typedef unsigned int uint;
+typedef long int int64;
typedef uint64_t VarType;
#endif
typedef uint64_t VarType;
#endif