#include <set>
#include "ltlast/atomic_prop.hh"
Include dependency graph for apcollect.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Typedefs | |
typedef std::set< atomic_prop *, formula_ptr_less_than > | atomic_prop_set |
Set of atomic propositions. | |
Functions | |
atomic_prop_set * | atomic_prop_collect (const formula *f, atomic_prop_set *s=0) |
Return the set of atomic propositions occurring in a formula. |