25 #include <spot/tl/environment.hh>
45 bool declare(
const std::string& prop_str);
50 virtual const std::string&
name()
const override;
52 typedef std::map<const std::string, formula> prop_map;
A declarative environment.
Definition: declenv.hh:38
virtual formula require(const std::string &prop_str) override
Obtain the formula associated to prop_str.
virtual const std::string & name() const override
Get the name of the environment.
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:33
Definition: automata.hh:27