Scheduler
|
builds a domain specific state space More...
#include <stateSpaceBuilder.h>
Public Member Functions | |
void | setDomainModel (std::shared_ptr< DomainModel > model) |
sets the domain model used by the state space to determine current state More... | |
void | addPriorityState (PriorityState *) |
adds single states to the state space More... | |
void | addDimension (StateSpaceDimension *dimension) |
adds a dimension to the state space More... | |
std::shared_ptr< StateSpace > | getStateSpace () |
call this function last! More... | |
builds a domain specific state space
Definition at line 25 of file stateSpaceBuilder.h.
void StateSpaceBuilder::addDimension | ( | StateSpaceDimension * | dimension | ) |
adds a dimension to the state space
Definition at line 34 of file stateSpaceBuilder.cpp.
void StateSpaceBuilder::addPriorityState | ( | PriorityState * | prio | ) |
adds single states to the state space
Definition at line 82 of file stateSpaceBuilder.cpp.
std::shared_ptr< StateSpace > StateSpaceBuilder::getStateSpace | ( | ) |
call this function last!
Definition at line 22 of file stateSpaceBuilder.cpp.
void StateSpaceBuilder::setDomainModel | ( | std::shared_ptr< DomainModel > | model | ) |
sets the domain model used by the state space to determine current state
Definition at line 44 of file stateSpaceBuilder.cpp.