clang 14 does not allow bitwise OR for bools

This commit is contained in:
Konstantinos Margaritis 2022-09-16 14:02:53 +03:00
parent 6de45b4648
commit 0e0147ec5c

View File

@ -385,8 +385,7 @@ bool improveGraph(NGHolder &g, som_type som) {
const vector<NFAVertex> ordering = getTopoOrdering(g);
return enlargeCyclicCR(g, som, ordering)
| enlargeCyclicCR_rev(g, ordering);
return enlargeCyclicCR(g, som, ordering) || enlargeCyclicCR_rev(g, ordering);
}
/** finds a smaller reachability for a state by the reverse transformation of