Concrete class for kripke states. More...
#include <kripke/kripkeexplicit.hh>
Concrete class for kripke states.