• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/emptinesscheck.hh (connected_component::not_null, · b60722bc
    Alexandre Duret-Lutz authored
    connected_component::transition_acc,
    connected_component::nb_transition,
    connected_component::nb_state): Remove these unused attributes.
    (connected_component::connected_component): Merge the two
    definitions into one.
    (connected_component::~connected_component): Remove.
    (connected_component::isAccepted): Delete, unused.
    * src/tgbaalgos/emptinesscheck.cc
    (connected_component::connected_component,
    connected_component::~connected_component): Adjust.
    (connected_component::isAccepted): Delete.
    (spot):
    
    * src/tgbatest/emptchk.test: Typo.
    b60722bc