src/csolver.c

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