src/csolver.c

   1 #include "csolver.h"
   2 #include "set.h"
   3 #include "mutableset.h"
   4 #include "element.h"
   5 CSolver * allocCSolver() {
   6         CSolver * tmp=(CSolver *) ourmalloc(sizeof(CSolver));
   7         tmp->constraint=allocDefVectorBoolean();
   8         tmp->uniqSec=1;
   9         return tmp;
  10 }
  11
  12 Set * createSet(CSolver * solver, VarType type, uint64_t * elements, uint num) {
  13     Set* set = allocSet(type, elements,num );
  14     return set;
  15 }
  16
  17 Set * createRangeSet(CSolver * solver, VarType type, uint64_t lowrange, uint64_t highrange) {
  18     Set* rset = allocSetRange(type, lowrange, highrange);
  19     return rset;
  20 }
  21
  22 MutableSet * createMutableSet(CSolver * solver, VarType type) {
  23     MutableSet* mset = allocMutableSet(type);
  24     return mset;
  25 }
  26
  27 void addItem(CSolver *solver, MutableSet * set, uint64_t element) {
  28     addElementMSet(set, element);
  29 }
  30
  31 int64_t createUniqueItem(CSolver *solver, MutableSet * set) {
  32     uint64_t uSec= solver->uniqSec++;
  33     addElementMSet(set, uSec);
  34     return uSec;
  35 }
  36
  37 Element * getElementVar(CSolver *solver, Set * set) {
  38     return allocElement(set);
  39 }
  40
  41 Boolean * getBooleanVar(CSolver *solver) {
  42     return NULL;
  43 }
  44
  45 Function * createFunctionOperator(CSolver *solver, enum ArithOp op, Set ** domain, Set * range, enum OverFlowBehavior overflowbehavior, Boolean * overflowstatus) {
  46         return NULL;
  47 }
  48
  49 Function * createFunctionOperatorPure(CSolver *solver, enum ArithOp op) {
  50         return NULL;
  51 }
  52
  53 Predicate * createPredicateOperator(CSolver *solver, enum CompOp op, Set ** domain) {
  54         return NULL;
  55 }
  56
  57 Table * createTable(CSolver *solver, Set **domains, Set * range) {
  58         return NULL;
  59 }
  60
  61 void addTableEntry(CSolver *solver, Element ** inputs, Element *result) {
  62 }
  63
  64 Function * completeTable(CSolver *solver, Table * table) {
  65         return NULL;
  66 }
  67
  68 Element * applyFunction(CSolver *solver, Function * function, Element ** array) {
  69         return NULL;
  70 }
  71
  72 Boolean * applyPredicate(CSolver *solver, Predicate * predicate, Element ** inputs) {
  73         return NULL;
  74 }
  75
  76 Boolean * applyLogicalOperation(CSolver *solver, enum LogicOp op, Boolean ** array) {
  77         return NULL;
  78 }
  79
  80 void addBoolean(CSolver *solver, Boolean * constraint) {
  81     solver->
  82 }
  83
  84 Order * createOrder(CSolver *solver, enum OrderType type, Set * set) {
  85         return NULL;
  86 }
  87
  88 Boolean * orderConstraint(CSolver *solver, Order * order, uint64_t first, uint64_t second) {
  89         return NULL;
  90 }