src/csolver.c

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