Boolean *constraint = new BooleanOrder(order, first, second);
allBooleans.push(constraint);
return BooleanEdge(constraint);
}
void CSolver::addConstraint(BooleanEdge constraint) {
Boolean *constraint = new BooleanOrder(order, first, second);
allBooleans.push(constraint);
return BooleanEdge(constraint);
}
void CSolver::addConstraint(BooleanEdge constraint) {