Element *e1 = solver->getElementVar(s1);
Element *e2 = solver->getElementVar(s2);
Element *e7 = solver->getElementVar(s5);
Element *e1 = solver->getElementVar(s1);
Element *e2 = solver->getElementVar(s2);
Element *e7 = solver->getElementVar(s5);
- Function *f1 = solver->createFunctionOperator(SUB, d1, 2, s2, IGNORE);
+ Function *f1 = solver->createFunctionOperator(SATC_SUB, d1, 2, s2, SATC_IGNORE);
Element *in1[] = {e1, e2};
Element *e3 = solver->applyFunction(f1, in1, 2, overflow);
Table *t1 = solver->createTable(d1, 2, s3);
Element *in1[] = {e1, e2};
Element *e3 = solver->applyFunction(f1, in1, 2, overflow);
Table *t1 = solver->createTable(d1, 2, s3);
uint64_t row2[] = {6, 4};
solver->addTableEntry(t1, row1, 2, 3);
solver->addTableEntry(t1, row2, 2, 1);
uint64_t row2[] = {6, 4};
solver->addTableEntry(t1, row1, 2, 3);
solver->addTableEntry(t1, row2, 2, 1);
Element *e4 = solver->applyFunction(f2, in1, 2, overflow);
Set *d2[] = {s1};
Element *e4 = solver->applyFunction(f2, in1, 2, overflow);
Set *d2[] = {s1};
Table *t2 = solver->createTable(d2, 1, s1);
uint64_t row3[] = {6};
solver->addTableEntry(t2, row3, 1, 6);
Table *t2 = solver->createTable(d2, 1, s1);
uint64_t row3[] = {6};
solver->addTableEntry(t2, row3, 1, 6);
Element *e5 = solver->applyFunction(f3, in2, 1, overflow);
Set *d3[] = {s2, s3, s1};
Element *e5 = solver->applyFunction(f3, in2, 1, overflow);
Set *d3[] = {s2, s3, s1};
solver->addTableEntry(t3, row5, 3, 1);
solver->addTableEntry(t3, row6, 3, 2);
solver->addTableEntry(t3, row7, 3, 1);
solver->addTableEntry(t3, row5, 3, 1);
solver->addTableEntry(t3, row6, 3, 2);
solver->addTableEntry(t3, row7, 3, 1);
Element *e6 = solver->applyFunction(f4, in3, 3, overflow);
Set *deq[] = {s5,s4};
Element *e6 = solver->applyFunction(f4, in3, 3, overflow);
Set *deq[] = {s5,s4};
printf("e1=%" PRIu64 " e2=%" PRIu64 " e7=%" PRIu64 "\n",
solver->getElementValue(e1), solver->getElementValue(e2), solver->getElementValue(e7));
else
printf("e1=%" PRIu64 " e2=%" PRIu64 " e7=%" PRIu64 "\n",
solver->getElementValue(e1), solver->getElementValue(e2), solver->getElementValue(e7));
else