23 #ifndef SPOT_LTLENV_DECLENV_HH
24 # define SPOT_LTLENV_DECLENV_HH
26 # include "environment.hh"
49 bool declare(
const std::string& prop_str);
51 virtual const formula* require(
const std::string& prop_str);
54 virtual const std::string& name();
56 typedef std::map<const std::string, const atomic_prop*> prop_map;
59 const prop_map& get_prop_map()
const;
67 #endif // SPOT_LTLENV_DECLENV_HH
A declarative environment.
Definition: declenv.hh:41
An environment that describes atomic propositions.
Definition: environment.hh:34