19 #ifndef SPOT_IFACE_DVE2_DVE2_HH
20 # define SPOT_IFACE_DVE2_DVE2_HH
22 #include "kripke/kripke.hh"
23 #include "ltlvisit/apcollect.hh"
59 load_dve2(
const std::string& file, bdd_dict* dict,
62 int compress = 0,
bool verbose =
true);
65 #endif // SPOT_IFACE_DVE2_DVE2_HH
std::set< const atomic_prop *, formula_ptr_less_than > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:41
static constant * true_instance()
Get the sole instance of spot::ltl::constant::constant(True).
Definition: constant.hh:49