spot
1.1.4
|
Go to the source code of this file.
Namespaces | |
spot | |
spot::ltl | |
Typedefs | |
typedef std::set< const atomic_prop *, formula_ptr_less_than > | spot::ltl::atomic_prop_set |
Set of atomic propositions. More... | |
Functions | |
atomic_prop_set * | spot::ltl::atomic_prop_collect (const formula *f, atomic_prop_set *s=0) |
Return the set of atomic propositions occurring in a formula. More... | |
bdd | spot::ltl::atomic_prop_collect_as_bdd (const formula *f, const tgba *a) |
Return the set of atomic propositions occurring in a formula, as a BDD. More... | |