23 #ifndef SPOT_LTLVISIT_APCOLLECT_HH
24 # define SPOT_LTLVISIT_APCOLLECT_HH
40 typedef std::set<
const atomic_prop*,
SPOT_API bdd atomic_prop_collect_as_bdd(const formula *f, const tgba *a)
Return the set of atomic propositions occurring in a formula, as a BDD.
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.
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
std::set< const atomic_prop *, formula_ptr_less_than > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:41