57 virtual const std::string&
name()
const = 0;
virtual const formula * require(const std::string &prop_str)=0
Obtain the formula associated to prop_str.
An environment that describes atomic propositions.
Definition: environment.hh:34
virtual const std::string & name() const =0
Get the name of the environment.