28 #include <spot/twa/fwd.hh>
atomic_prop_set * atomic_prop_collect(formula f, atomic_prop_set *s=nullptr)
Return the set of atomic propositions occurring in a formula.
atomic_prop_set create_atomic_prop_set(unsigned n)
construct an atomic_prop_set with n propositions
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.
std::set< formula > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:36
Definition: automata.hh:27