21#include <spot/tl/environment.hh>
41 bool declare(
const std::string& prop_str);
46 virtual const std::string&
name()
const override;
48 typedef std::map<const std::string, formula> prop_map;
A declarative environment.
Definition: declenv.hh:34
virtual const std::string & name() const override
Get the name of the environment.
virtual formula require(const std::string &prop_str) override
Obtain the formula associated to prop_str.
bool declare(const std::string &prop_str)
const prop_map & get_prop_map() const
Get the map of atomic proposition known to this environment.
An environment that describes atomic propositions.
Definition: environment.hh:29
Definition: automata.hh:26