• Alexandre Duret-Lutz's avatar
    graph: replace the existing "alternating" interface · 4903f086
    Alexandre Duret-Lutz authored
    * spot/graph/graph.hh: Use the sign bit of destination state X to
    designate a universal edge.  Store the destinations of such an edge in a
    separate array, at index ~X.
    * spot/graph/ngraph.hh, tests/core/graph.cc, tests/core/graph.test,
    tests/core/ngraph.cc: Adjust test case to the new interface.
ngraph.cc 9.04 KB