- Set *s1 = createSet(solver, 0, set1, 1);
- Set *s2 = createSet(solver, 0, set2, 2);
- Set *s3 = createSet(solver, 0, set3, 2);
- Set *s4 = createSet(solver, 0, set4, 3);
- Set *s5 = createSet(solver, 0, set5, 3);
- Element *e1 = getElementVar(solver, s1);
- Element *e2 = getElementVar(solver, s2);
- Element *e7 = getElementVar(solver, s5);
- Boolean *overflow = getBooleanVar(solver, 2);
+ Set *s1 = solver->createSet(0, set1, 1);
+ Set *s2 = solver->createSet(0, set2, 2);
+ Set *s3 = solver->createSet(0, set3, 2);
+ Set *s4 = solver->createSet(0, set4, 3);
+ Set *s5 = solver->createSet(0, set5, 3);
+ Element *e1 = solver->getElementVar(s1);
+ Element *e2 = solver->getElementVar(s2);
+ Element *e7 = solver->getElementVar(s5);
+ Boolean *overflow = solver->getBooleanVar(2);