25 #include "environment.hh"
45 bool declare(
const std::string& prop_str);
47 virtual formula require(
const std::string& prop_str);
50 virtual const std::string& name()
const;
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