25 #include <spot/tl/environment.hh>
42 virtual const std::string&
name()
const override;
A laxist environment.
Definition: defaultenv.hh:38
virtual const std::string & name() const override
Get the name of the environment.
virtual formula require(const std::string &prop_str) override
Obtain the formula associated to prop_str.
static default_environment & instance()
Get the sole instance of spot::default_environment.
An environment that describes atomic propositions.
Definition: environment.hh:33
Definition: automata.hh:27