-
Alexandre Duret-Lutz authored
* spot/twaalgos/powerset.cc (tgba_powerset): Use twa::ap() to simplify the code. (number_of_variables): Remove.
ac39c1db
* spot/twaalgos/powerset.cc (tgba_powerset): Use twa::ap() to simplify the code. (number_of_variables): Remove.