29#include <spot/twa/fwd.hh>
79 std::vector<std::vector<spot::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.
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 collect_literals(formula f)
Collect the literals occuring in f.
std::set< formula > atomic_prop_set
Set of atomic propositions.
Definition apcollect.hh:37
std::vector< std::vector< spot::formula > > collect_equivalent_literals(formula f)
Collect equivalent APs.
Definition automata.hh:27