• Alexandre GBAGUIDI AISSE's avatar
    spot: Add 'langmap' option with dichotomy (it helps to choose min val) · 67e3a4f2
    Alexandre GBAGUIDI AISSE authored
    * python/spot/__init__.py: Handle 'dicho' option in 'sat_minimize'.
    * spot/priv/satcommon.cc: Implement get_number_of_distinct_vals.
    * spot/priv/satcommon.hh: Declare get_number_of_distinct_vals.
    * spot/twaalgos/dtbasat.cc: Use get_number_of_distinct_vals.
    * spot/twaalgos/dtbasat.hh: Change dichotomy function's prototype.
    * spot/twaalgos/dtwasat.cc: Use get_number_of_distinct_vals.
    * spot/twaalgos/dtwasat.hh: Change dichotomy function's prototype.
    Handle options.
    * spot/twaalgos/postproc.cc: Handle options.
    * spot/twaalgos/postproc.hh: Add dicho_langmap_ var for options.
    * tests/core/satmin2.test: Add tests for dichotomy.
    * tests/core/satmin.test: Add tests for dichotomy.
    * tests/python/satmin.py: Replace 'dichotomy' with 'dicho' option.
    67e3a4f2
satcommon.hh 8.19 KB