Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

ltlvisit/apcollect.hh File Reference

#include <set>
#include "ltlvisit/postfix.hh"

Include dependency graph for apcollect.hh:

Include dependency graph

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_setatomic_prop_collect (const formula *f, atomic_prop_set *s=0)
 Return the set of atomic propositions occurring in a formula.


Typedef Documentation

typedef std::set<spot::ltl::atomic_prop*> spot::ltl::atomic_prop_set
 

Set of atomic propositions.


Function Documentation

atomic_prop_set* atomic_prop_collect const formula *  f,
atomic_prop_set s = 0
 

Return the set of atomic propositions occurring in a formula.

Parameters:
f the formula to inspect
s an existing set to fill with atomic_propositions discovered, or 0 if the set should be allocated by the function.
Returns:
A pointer to the supplied set, s, augmented with atomic propositions occurring in f; or a newly allocated set containing all these atomic propositions if s is 0.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Aug 13 14:42:35 2004 for spot by doxygen 1.3.8