spot  0.8.2
Public Types | Public Member Functions | Private Attributes
spot::ltl::declarative_environment Class Reference

A declarative environment.This environment recognizes all atomic propositions that have been previously declared. It will reject other. More...

#include <ltlenv/declenv.hh>

Inheritance diagram for spot::ltl::declarative_environment:
Inheritance graph
[legend]
Collaboration diagram for spot::ltl::declarative_environment:
Collaboration graph
[legend]

List of all members.

Public Types

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

Public Member Functions

 declarative_environment ()
 ~declarative_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_

Detailed Description

A declarative environment.

This environment recognizes all atomic propositions that have been previously declared. It will reject other.


Member Typedef Documentation

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

Constructor & Destructor Documentation


Member Function Documentation

bool spot::ltl::declarative_environment::declare ( const std::string &  prop_str)

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

Get the map of atomic proposition known to this environment.

virtual const std::string& spot::ltl::declarative_environment::name ( ) [virtual]

Get the name of the environment.

Implements spot::ltl::environment.

virtual ltl::formula* spot::ltl::declarative_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


The documentation for this class was generated from the following file:

Please comment this page and report errors about it on the RefDocComments page.
Generated on Thu Jan 19 2012 19:33:05 for spot by doxygen 1.7.6.1