spot::declarative_environment Class Reference

A declarative environment. More...

#include <spot/tl/declenv.hh>

Inheritance diagram for spot::declarative_environment:

Collaboration diagram for spot::declarative_environment:

Public Types
typedef std::map< const std::string, formula >	prop_map

Public Member Functions
bool	declare (const std::string &prop_str)
virtual formula	require (const std::string &prop_str) override
	Obtain the formula associated to prop_str. More...
virtual const std::string &	name () const override
	Get the name of the environment. More...
const prop_map &	get_prop_map () const
	Get the map of atomic proposition known to this environment. More...

Detailed Description

A declarative environment.

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

Member Function Documentation

declare()

bool spot::declarative_environment::declare

(

const std::string &

prop_str

)

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

get_prop_map()

const prop_map & spot::declarative_environment::get_prop_map

(

)

const

Get the map of atomic proposition known to this environment.

name()

virtual const std::string & spot::declarative_environment::name ( ) const

overridevirtual

Get the name of the environment.

Implements spot::environment.

require()

virtual formula spot::declarative_environment::require ( const std::string &  prop_str )

overridevirtual

Obtain the formula associated to prop_str.

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

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

Returns

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

Implements spot::environment.

---

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

• spot/tl/declenv.hh