}
}
-bool DecomposeOrderResolver::resolvePartialOrder(OrderNode* first, OrderNode* second){
- if(first->sccNum > second->sccNum){
+bool DecomposeOrderResolver::resolvePartialOrder(OrderNode *first, OrderNode *second) {
+ if (first->sccNum > second->sccNum) {
return false;
} else {
return graph->isTherePath(first, second);
}
-
+
}