• Alexandre Duret-Lutz's avatar
    deprecate spot::acc_cond::format() · bfe0ada6
    Alexandre Duret-Lutz authored
    * NEWS: Mention it.
    * spot/twa/acc.hh (spot::acc_cond::format): Deprecate.
    (spot::acc_cond::mark_t::as_string): New function.
    * spot/taalgos/dot.cc: Use mark_t::as_string().
    * spot/priv/satcommon.cc, spot/priv/satcommon.hh,
    spot/twaalgos/dtwasat.cc, spot/twaalgos/emptiness.cc,
    tests/core/acc.cc, tests/core/acc.test: Adjust to use << directly.
    bfe0ada6
Name
Last commit
Last update
..
Makefile.am Loading commit data...
accmap.hh Loading commit data...
allocator.hh Loading commit data...
bddalloc.cc Loading commit data...
bddalloc.hh Loading commit data...
freelist.cc Loading commit data...
freelist.hh Loading commit data...
satcommon.cc Loading commit data...
satcommon.hh Loading commit data...
trim.cc Loading commit data...
trim.hh Loading commit data...
weight.cc Loading commit data...
weight.hh Loading commit data...