38 typedef std::set<
const atomic_prop*,
60 SPOT_API atomic_prop_set*
71 const const_twa_ptr& a);
SPOT_API void destroy_atomic_prop_set(atomic_prop_set &aprops)
Destroy all the atomic propositions in an atomic_prop_set.
SPOT_API atomic_prop_set * atomic_prop_collect(const formula *f, atomic_prop_set *s=0)
Return the set of atomic propositions occurring in a formula.
SPOT_API atomic_prop_set create_atomic_prop_set(unsigned n)
construct an atomic_prop_set with n propositions
std::set< const atomic_prop *, formula_ptr_less_than > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:39
SPOT_API bdd atomic_prop_collect_as_bdd(const formula *f, const const_twa_ptr &a)
Return the set of atomic propositions occurring in a formula, as a BDD.