• Alexandre Duret-Lutz's avatar
    dot: heuristic to switch between circles and ellipses · a4b63e8e
    Alexandre Duret-Lutz authored
    * src/twaalgos/dotty.cc: Add an option (e) to force elliptic shape, and
    a heuristic to choose between circle and ellipse by default.
    * src/bin/common_aoutput.cc, src/bin/dstar2tgba.cc: Document 'e'.
    * src/taalgos/dotty.cc: Ignore 'e'.
    * wrap/python/spot.py (setup): Do not force circular states.  The
    default should be fine.
    * src/tests/det.test, src/tests/dstar.test, src/tests/monitor.test,
    src/tests/neverclaimread.test, src/tests/readsave.test,
    src/tests/sccdot.test, src/tests/tgbagraph.test: Adjust expected
    results.
    * NEWS: Adjust.
    a4b63e8e
spot.py 16.7 KB