Skip to content
Find file Blame History Permalink
  • Etienne Renault's avatar
    ltsmin: remove shared table at model level · e9c274ec
    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.
    e9c274ec