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 ElementFunction ElementFunction;
typedef struct ElementSet ElementSet;
+typedef struct ElementConst ElementConst;
struct Element;
typedef struct Element Element;
struct Order;
typedef struct Order Order;
+struct OrderPair;
+typedef struct OrderPair OrderPair;
+
struct ElementEncoding;
typedef struct ElementEncoding ElementEncoding;