src/Test/buildconstraints.c

   1 #include "csolver.h"
   2
   3 int main(int numargs, char ** argv) {
   4         CSolver * solver=allocCSolver();
   5         uint64_t set1[]={0, 1, 2};
   6         Set * s=createSet(solver, 0, set1, 3);
   7         Element * e1=getElementVar(solver, s);
   8         Element * e2=getElementVar(solver, s);
   9         Set * domain[]={s, s};
  10         Predicate *equals=createPredicateOperator(solver, EQUALS, domain, 2);
  11         Element * inputs[]={e1, e2};
  12         Boolean * b=applyPredicate(solver, equals, inputs, 2);
  13         addBoolean(solver, b);
  14         Order * o=createOrder(solver, TOTAL, s);
  15         Boolean * oc=orderConstraint(solver, o, 1, 2);
  16         addBoolean(solver, oc);
  17         deleteSolver(solver);
  18 }