Skip to content
Find file Blame History Permalink
  • Etienne Renault's avatar
    spins_kripke: rewrite, clean and document · 273cce37
    Etienne Renault authored 
    Some parts of the kripke were confusing, lacked
of documentation or could be factorized. This patch
cleans all of this.

* spot/ltsmin/spins_kripke.hh,
spot/ltsmin/spins_kripke.hxx: here.
    273cce37