25 #include <spot/tl/environment.hh>
45 bool declare(
const std::string& prop_str);
47 virtual formula require(
const std::string& prop_str)
override;
50 virtual const std::string& name()
const override;
52 typedef std::map<const std::string, formula> prop_map;
55 const prop_map& get_prop_map()
const;
An environment that describes atomic propositions.
Definition: environment.hh:32
A declarative environment.
Definition: declenv.hh:37