25 #include "environment.hh"
48 bool declare(
const std::string& prop_str);
50 virtual const formula* require(
const std::string& prop_str);
53 virtual const std::string& name()
const;
55 typedef std::map<const std::string, const atomic_prop*> prop_map;
58 const prop_map& get_prop_map()
const;
A declarative environment.
Definition: declenv.hh:40
An environment that describes atomic propositions.
Definition: environment.hh:34