spot
0.8.3
|
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Typedefs | |
typedef std::set< atomic_prop *, formula_ptr_less_than > | spot::ltl::atomic_prop_set |
Set of atomic propositions. | |
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. |