void *applyLogicalOperation(void *solver,unsigned int op, void **array, unsigned int asize) {
BooleanEdge constr [asize];
void *applyLogicalOperation(void *solver,unsigned int op, void **array, unsigned int asize) {
BooleanEdge constr [asize];
}
return CCSOLVER(solver)->applyLogicalOperation((LogicOp) op, constr, (uint) asize).getRaw();
}
void *applyExactlyOneConstraint(void *solver, void **array, unsigned int asize) {
BooleanEdge constr [asize];
}
return CCSOLVER(solver)->applyLogicalOperation((LogicOp) op, constr, (uint) asize).getRaw();
}
void *applyExactlyOneConstraint(void *solver, void **array, unsigned int asize) {
BooleanEdge constr [asize];