#include <set>
#include "ltlvisit/postfix.hh"
Include dependency graph for apcollect.hh:
Go to the source code of this file.
Namespaces | |
namespace | spot |
namespace | spot::ltl |
Typedefs | |
typedef std::set< spot::ltl::atomic_prop * > | 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. |
|
Set of atomic propositions.
|
|
Return the set of atomic propositions occurring in a formula.
|