10 #ifndef STATESPACEBUILDER_H 11 #define STATESPACEBUILDER_H 21 class StateSpaceDimension;
46 void throwIfNoModel();
47 void throwIfInconsistentNumberOfStates();
48 std::vector<StateSpaceDimension *> dimensions;
49 std::vector<PriorityState *> priorityStates;
50 std::shared_ptr<DomainModel> domainModel;
52 int nbOfPriorityStates{0};
53 int nbOfDimensions{0};
void setDomainModel(std::shared_ptr< DomainModel > model)
sets the domain model used by the state space to determine current state
std::shared_ptr< StateSpace > getStateSpace()
call this function last!
void addDimension(StateSpaceDimension *dimension)
adds a dimension to the state space
void addPriorityState(PriorityState *)
adds single states to the state space
a single state of the state space
this models a dimension in the state space.
builds a domain specific state space