-
Etienne Renault authored
Experiments shows that this table slows down algorithms since the management is also tracked at higher lever by algorithms * spot/ltsmin/spins_kripke.hh, spot/ltsmin/spins_kripke.hxx: here.
694b8399
Experiments shows that this table slows down algorithms since the management is also tracked at higher lever by algorithms * spot/ltsmin/spins_kripke.hh, spot/ltsmin/spins_kripke.hxx: here.