-
Alexandre Duret-Lutz authored
* src/kripke/fairkripke.hh, src/kripke/fairkripke.cc, * src/kripke/kripke.hh, src/kripke/kripke.cc: Finalize and document the Kripke interface. I have tested it by updating checkpn to use it.
0d9d0b08
* src/kripke/fairkripke.hh, src/kripke/fairkripke.cc, * src/kripke/kripke.hh, src/kripke/kripke.cc: Finalize and document the Kripke interface. I have tested it by updating checkpn to use it.