<map id="spot::declarative_environment" name="spot::declarative_environment">
<area shape="rect" id="node2" href="$classspot_1_1environment.html" title="An environment that describes atomic propositions. " alt="" coords="40,5,167,112"/>
</map>
