spot
0.8.3
|
A laxist environment.This environment recognizes all atomic propositions. More...
#include <ltlenv/defaultenv.hh>
Public Member Functions | |
virtual | ~default_environment () |
virtual formula * | require (const std::string &prop_str) |
Obtain the formula associated to prop_str. | |
virtual const std::string & | name () |
Get the name of the environment. | |
Static Public Member Functions | |
static default_environment & | instance () |
Get the sole instance of spot::ltl::default_environment. | |
Protected Member Functions | |
default_environment () |
A laxist environment.
This environment recognizes all atomic propositions.
This is a singleton. Use default_environment::instance() to obtain the instance.
virtual spot::ltl::default_environment::~default_environment | ( | ) | [virtual] |
spot::ltl::default_environment::default_environment | ( | ) | [protected] |
static default_environment& spot::ltl::default_environment::instance | ( | ) | [static] |
Get the sole instance of spot::ltl::default_environment.
virtual const std::string& spot::ltl::default_environment::name | ( | ) | [virtual] |
Get the name of the environment.
Implements spot::ltl::environment.
virtual formula* spot::ltl::default_environment::require | ( | const std::string & | prop_str | ) | [virtual] |
Obtain the formula associated to prop_str.
Usually prop_str, is the name of an atomic proposition, and spot::ltl::require simply returns the associated spot::ltl::atomic_prop.
Note this is not a const
method. Some environments will "create" the atomic proposition when requested.
We return a spot::ltl::formula instead of an spot::ltl::atomic_prop, because this will allow nifty tricks (e.g., we could name formulae in an environment, and let the parser build a larger tree from these).
Implements spot::ltl::environment.