10 #ifndef PRIORITYSTATE_H 11 #define PRIORITYSTATE_H 22 class StateSpacBuilder;
39 virtual std::string
getName()=0;
48 std::shared_ptr<T> model = std::dynamic_pointer_cast<T>(
domainModel);
50 throw std::runtime_error(
"inconsistent domain model type");
virtual bool isInState()=0
Given the information provided by the DomainModel, this function checks if the system is in that stat...
virtual std::string getName()=0
returns the name of that state
std::shared_ptr< DomainModel > domainModel
a single state of the state space
std::shared_ptr< T > getModel()
builds a domain specific state space