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

spot::gspn_environment Class Reference

#include <common.hh>

Inheritance diagram for spot::gspn_environment:

Inheritance graph
[legend]
Collaboration diagram for spot::gspn_environment:

Collaboration graph
[legend]
List of all members.

Public Types

typedef std::map< const std::string,
ltl::atomic_prop * > 
prop_map

Public Member Functions

 gspn_environment ()
 ~gspn_environment ()
bool declare (const std::string &prop_str)
virtual ltl::formularequire (const std::string &prop_str)
 Obtain the formula associated to prop_str.

virtual const std::string & name ()
 Get the name of the environment.

const prop_mapget_prop_map () const
 Get the map of atomic proposition known to this environment.


Private Attributes

prop_map props_

Member Typedef Documentation

typedef std::map<const std::string, ltl::atomic_prop*> spot::gspn_environment::prop_map
 


Constructor & Destructor Documentation

spot::gspn_environment::gspn_environment  ) 
 

spot::gspn_environment::~gspn_environment  ) 
 


Member Function Documentation

bool spot::gspn_environment::declare const std::string &  prop_str  ) 
 

Declare an atomic proposition. Return false iff the proposition was already declared.

const prop_map& spot::gspn_environment::get_prop_map  )  const
 

Get the map of atomic proposition known to this environment.

virtual const std::string& spot::gspn_environment::name  )  [virtual]
 

Get the name of the environment.

Implements spot::ltl::environment.

virtual ltl::formula* spot::gspn_environment::require const std::string &  prop_str  )  [virtual]
 

Obtain the formula associated to prop_str.

Usually prop_str, is the name of an atomic proposition, and spot::ltl::require simply returns the associated spot::ltl::atomic_prop.

Note this is not a const method. Some environments will "create" the atomic proposition when requested.

We return a spot::ltl::formula instead of an spot::ltl::atomic_prop, because this will allow nifty tricks (e.g., we could name formulae in an environment, and let the parser build a larger tree from these).

Returns:
0 iff prop_str is not part of the environment, or the associated spot::ltl::formula otherwise.

Implements spot::ltl::environment.


Member Data Documentation

prop_map spot::gspn_environment::props_ [private]
 


The documentation for this class was generated from the following file:
Generated on Mon Mar 8 23:31:55 2004 for spot by doxygen 1.3.5