3 #include "mutableset.h"
9 CSolver * allocCSolver() {
10 CSolver * tmp=(CSolver *) ourmalloc(sizeof(CSolver));
11 tmp->constraints=allocDefVectorBoolean();
12 tmp->allBooleans=allocDefVectorBoolean();
13 tmp->allSets=allocDefVectorSet();
14 tmp->allElements=allocDefVectorElement();
18 /** This function tears down the solver and the entire AST */
20 void deleteSolver(CSolver *this) {
21 deleteVectorBoolean(this->constraints);
23 uint size=getSizeVectorBoolean(this->allBooleans);
24 for(uint i=0;i<size;i++) {
25 deleteBoolean(getVectorBoolean(this->allBooleans, i));
28 deleteVectorBoolean(this->allBooleans);
30 size=getSizeVectorSet(this->allSets);
31 for(uint i=0;i<size;i++) {
32 deleteSet(getVectorSet(this->allSets, i));
35 deleteVectorSet(this->allSets);
37 size=getSizeVectorElement(this->allElements);
38 for(uint i=0;i<size;i++) {
39 deleteElement(getVectorElement(this->allElements, i));
42 deleteVectorElement(this->allElements);
46 Set * createSet(CSolver * this, VarType type, uint64_t * elements, uint numelements) {
47 Set * set=allocSet(type, elements, numelements);
48 pushVectorSet(this->allSets, set);
52 Set * createRangeSet(CSolver * this, VarType type, uint64_t lowrange, uint64_t highrange) {
53 Set * set=allocSetRange(type, lowrange, highrange);
54 pushVectorSet(this->allSets, set);
58 MutableSet * createMutableSet(CSolver * this, VarType type) {
59 MutableSet * set=allocMutableSet(type);
60 pushVectorSet(this->allSets, set);
64 void addItem(CSolver *solver, MutableSet * set, uint64_t element) {
65 addElementMSet(set, element);
68 uint64_t createUniqueItem(CSolver *solver, MutableSet * set) {
69 uint64_t element=set->low++;
70 addElementMSet(set, element);
74 Element * getElementVar(CSolver *this, Set * set) {
75 Element * element=allocElement(set);
76 pushVectorElement(this->allElements, element);
80 Boolean * getBooleanVar(CSolver *solver, VarType type) {
81 Boolean* boolean= allocBoolean(type);
82 pushVectorBoolean(solver->allBooleans, boolean);
86 Function * createFunctionOperator(CSolver *solver, enum ArithOp op, Set ** domain, uint numDomain, Set * range,
87 enum OverFlowBehavior overflowbehavior, Boolean * overflowstatus) {
91 //Function * createFunctionOperatorPure(CSolver *solver, enum ArithOp op) {
95 Predicate * createPredicateOperator(CSolver *solver, enum CompOp op, Set ** domain, uint numDomain) {
96 return allocPredicate(op, domain,numDomain);
99 Table * createTable(CSolver *solver, Set **domains, uint numDomain, Set * range) {
103 void addTableEntry(CSolver *solver, uint64_t* inputs, uint inputSize, uint64_t result) {
106 Function * completeTable(CSolver *solver, Table * table) {
110 Element * applyFunction(CSolver *solver, Function * function, Element ** array) {
114 Boolean * applyPredicate(CSolver *solver, Predicate * predicate, Element ** inputs) {
118 Boolean * applyLogicalOperation(CSolver *solver, enum LogicOp op, Boolean ** array) {
122 void addBoolean(CSolver *this, Boolean * constraint) {
123 pushVectorBoolean(this->constraints, constraint);
126 Order * createOrder(CSolver *solver, enum OrderType type, Set * set) {
127 return allocOrder(type, set);
130 Boolean * orderConstraint(CSolver *solver, Order * order, uint64_t first, uint64_t second) {
131 Boolean* constraint = allocBooleanOrder(order, first, second);
132 pushVectorBoolean(solver->allBooleans,constraint);