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

spot::ltl::environment Class Reference

An environment that describes atomic propositions. More...

#include <environment.hh>

Inheritance diagram for spot::ltl::environment:

Inheritance graph
[legend]
List of all members.

Public Member Functions

virtual formularequire (const std::string &prop_str)=0
 Obtain the formula associated to prop_str.

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

virtual ~environment ()

Detailed Description

An environment that describes atomic propositions.


Constructor & Destructor Documentation

virtual spot::ltl::environment::~environment  )  [inline, virtual]
 


Member Function Documentation

virtual const std::string& spot::ltl::environment::name  )  [pure virtual]
 

Get the name of the environment.

Implemented in spot::ltl::default_environment, and spot::gspn_environment.

virtual formula* spot::ltl::environment::require const std::string &  prop_str  )  [pure 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.

Implemented in spot::ltl::default_environment, and spot::gspn_environment.


The documentation for this class was generated from the following file:
Generated on Tue Jan 13 18:22:35 2004 for spot by doxygen 1.3.5