cyclegraph: straighten out header vs. implementation vs. usage
The CycleGraph::addEdge and CycleGraph::addRMWEdge functions were a little
confusing to use, since their implementation and header prototypes had
different parameter naming. This swapped the 'to' and 'from' naming, such that
it appeared as if the addEdge() users were adding edges in the reverse
direction. The functionality was not actually incorrect, but my understanding
was...
This corrects the naming and switches the order of the arguments.
projects / model-checker.git / commit