-
Alexandre Duret-Lutz authored
These were only used by the BDD-based implementation of TGBA, which has been removed. * src/tgba/bdddict.cc, src/tgba/bdddict.hh, src/tgba/bddprint.cc: Remove support for now/next variables.
18f6fe77
These were only used by the BDD-based implementation of TGBA, which has been removed. * src/tgba/bdddict.cc, src/tgba/bdddict.hh, src/tgba/bddprint.cc: Remove support for now/next variables.