projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Start work on Naive Encoders
[satune.git]
/
src
/
classlist.h
diff --git
a/src/classlist.h
b/src/classlist.h
index b53e0312cf7ee93e3aff5c86984eabda5abbef70..d232592fef332c3d58cbe6670569f3e03ce0cfe0 100644
(file)
--- a/
src/classlist.h
+++ b/
src/classlist.h
@@
-22,6
+22,11
@@
typedef struct CSolver CSolver;
struct Constraint;
typedef struct Constraint Constraint;
struct Constraint;
typedef struct Constraint Constraint;
+typedef struct BooleanOrder BooleanOrder;
+typedef struct BooleanVar BooleanVar;
+typedef struct BooleanLogic BooleanLogic;
+typedef struct BooleanComp BooleanComp;
+
struct Boolean;
typedef struct Boolean Boolean;
struct Boolean;
typedef struct Boolean Boolean;
@@
-54,11
+59,8
@@
typedef struct ElementEncoding ElementEncoding;
struct FunctionEncoding;
typedef struct FunctionEncoding FunctionEncoding;
struct FunctionEncoding;
typedef struct FunctionEncoding FunctionEncoding;
-typedef enum ArithOp ArithOp;
-typedef enum LogicOp LogicOp;
-typedef enum CompOp CompOp;
-typedef enum OrderType OrderType;
-typedef enum OverFlowBehavior OverFlowBehavior;
+struct TableEntry;
+typedef struct TableEntry TableEntry;
typedef unsigned int uint;
typedef uint64_t VarType;
typedef unsigned int uint;
typedef uint64_t VarType;