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