#include <environment.hh>
Inheritance diagram for spot::ltl::environment:
Public Member Functions | |
virtual formula * | require (const std::string &prop_str)=0 |
Obtain the formula associated to prop_str. | |
virtual const std::string & | name ()=0 |
Get the name of the environment. | |
virtual | ~environment () |
|
|
|
Get the name of the environment.
Implemented in spot::ltl::default_environment, and spot::gspn_environment. |
|
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 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).
Implemented in spot::ltl::default_environment, and spot::gspn_environment. |