OrderNode *sinkNode = outEdge->sink;
sinkNode->inEdges.remove(outEdge);
//Adding new edge to new sink and src nodes ...
- if(srcNode == sinkNode) {
+ if (srcNode == sinkNode) {
This->setUnSAT();
delete iterout;
delete iterin;
if (!edge->mustNeg && sources->contains(child)) {
edge->mustNeg = true;
edge->polNeg = true;
- if (edge->mustPos){
+ if (edge->mustPos) {
solver->setUnSAT();
}
}