-
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
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.