22 #ifndef SPOT_LTLENV_ENVIRONMENT_HH
23 # define SPOT_LTLENV_ENVIRONMENT_HH
57 virtual const std::string&
name() = 0;
68 #endif // SPOT_LTLENV_ENVIRONMENT_HH
virtual const std::string & name()=0
Get the name of the environment.
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