22 #include "kripke/kripke.hh"
23 #include "tl/apcollect.hh"
24 #include "porinfos.hh"
61 load_ltsmin(
const std::string& file,
const bdd_dict_ptr& dict,
64 int compress = 0,
bool use_por =
false,
65 bool verbose =
true,
unsigned seed = 0);
68 SPOT_API porinfos* por_ltsmin(const_kripke_ptr model);
std::set< formula > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:36