-
Alexandre Duret-Lutz authored
When the reference acceptance condition is complex enough, some accepting SCCs may not use all acceptance sets. In that case we don't have to encode all possible histories for this SCC. * src/twaalgos/dtgbasat.cc: Improve the encoding by omitting histories involving sets that are not used in a reference SCC.
b4881579