projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
[satune.git]
/
src
/
classlist.h
diff --git
a/src/classlist.h
b/src/classlist.h
index 3c7d071a66221d25dffd679d5465284efe7cc769..fa3e3bdb608058fb3ef3732ee6e9aa4ac260997d 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;