#include <set>
#include "ltlast/atomic_prop.hh"
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. |