spot::ltl::environment Class Reference
[Essential LTL types]

An environment that describes atomic propositions. More...

#include <ltlenv/environment.hh>

Inheritance diagram for spot::ltl::environment:

[legend]List of all members.

Public Member Functions
virtual formula *	require (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 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::declarative_environment, spot::ltl::default_environment, and spot::ltl::read_only_environment.

virtual const std::string& spot::ltl::environment::name

(

)

[pure virtual]

Get the name of the environment.

Implemented in spot::ltl::declarative_environment, spot::ltl::default_environment, and spot::ltl::read_only_environment.

---

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

• ltlenv/environment.hh

---

Please comment this page and report errors about it on the RefDocComments page.