• 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
spins_kripke.hh 9.21 KB