-
Alexandre Duret-Lutz authored
* src/tgbaalgos/sccinfo.cc, src/tgbaalgos/sccinfo.hh: Implement the acc_filter_simplify filter, and generalize composition to be n-ary. * src/tgbaalgos/sccfilter.cc (used_acc): New method.
af6cb049
* src/tgbaalgos/sccinfo.cc, src/tgbaalgos/sccinfo.hh: Implement the acc_filter_simplify filter, and generalize composition to be n-ary. * src/tgbaalgos/sccfilter.cc (used_acc): New method.