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