3 #include "mutableset.h"
6 CSolver * allocCSolver() {
7 CSolver * tmp=(CSolver *) ourmalloc(sizeof(CSolver));
8 tmp->constraints=allocDefVectorBoolean();
9 tmp->sets=allocDefVectorSet();
10 tmp->elements=allocDefVectorElement();
14 /** This function tears down the solver and the entire AST */
16 void deleteSolver(CSolver *this) {
17 deleteVectorBoolean(this->constraints);
18 uint size=getSizeVectorSet(this->sets);
19 for(uint i=0;i<size;i++) {
20 deleteSet(getVectorSet(this->sets, i));
23 deleteVectorSet(this->sets);
25 size=getSizeVectorElement(this->elements);
26 for(uint i=0;i<size;i++) {
27 deleteElement(getVectorElement(this->elements, i));
30 deleteVectorElement(this->elements);
34 Set * createSet(CSolver * this, VarType type, uint64_t * elements, uint numelements) {
35 Set * set=allocSet(type, elements, numelements);
36 pushVectorSet(this->sets, set);
40 Set * createRangeSet(CSolver * this, VarType type, uint64_t lowrange, uint64_t highrange) {
41 Set * set=allocSetRange(type, lowrange, highrange);
42 pushVectorSet(this->sets, set);
46 MutableSet * createMutableSet(CSolver * this, VarType type) {
47 MutableSet * set=allocMutableSet(type);
48 pushVectorSet(this->sets, set);
52 void addItem(CSolver *solver, MutableSet * set, uint64_t element) {
53 addElementMSet(set, element);
56 uint64_t createUniqueItem(CSolver *solver, MutableSet * set) {
57 uint64_t element=set->low++;
58 addElementMSet(set, element);
62 Element * getElementVar(CSolver *this, Set * set) {
63 Element * element=allocElement(set);
64 pushVectorElement(this->elements, element);
68 Boolean * getBooleanVar(CSolver *solver, VarType type) {
72 Function * createFunctionOperator(CSolver *solver, enum ArithOp op, Set ** domain, Set * range, enum OverFlowBehavior overflowbehavior, Boolean * overflowstatus) {
76 Function * createFunctionOperatorPure(CSolver *solver, enum ArithOp op) {
80 Predicate * createPredicateOperator(CSolver *solver, enum CompOp op, Set ** domain) {
84 Table * createTable(CSolver *solver, Set **domains, Set * range) {
88 void addTableEntry(CSolver *solver, Element ** inputs, Element *result) {
91 Function * completeTable(CSolver *solver, Table * table) {
95 Element * applyFunction(CSolver *solver, Function * function, Element ** array) {
99 Boolean * applyPredicate(CSolver *solver, Predicate * predicate, Element ** inputs) {
103 Boolean * applyLogicalOperation(CSolver *solver, enum LogicOp op, Boolean ** array) {
107 void addBoolean(CSolver *this, Boolean * constraint) {
108 pushVectorBoolean(this->constraints, constraint);
111 Order * createOrder(CSolver *solver, enum OrderType type, Set * set) {
115 Boolean * orderConstraint(CSolver *solver, Order * order, uint64_t first, uint64_t second) {