28 #include <spot/twa/fwd.hh> 50 SPOT_API atomic_prop_set*
bdd atomic_prop_collect_as_bdd(formula f, const twa_ptr &a)
Return the set of atomic propositions occurring in a formula, as a BDD.
atomic_prop_set create_atomic_prop_set(unsigned n)
construct an atomic_prop_set with n propositions
std::set< formula > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:36
atomic_prop_set * atomic_prop_collect(formula f, atomic_prop_set *s=nullptr)
Return the set of atomic propositions occurring in a formula.