Template Class ExplorationInformation

• Defined in File exploration_information.hpp

Class Documentation

template<typename StateType, typename ValueType>
class ExplorationInformation

Class holding information about the explored states.

Template Parameters:

• StateType – variable type for state and action identifiers

• ValueType – variable type for the results (e.g. Rewards)

Public Types

typedef std::unordered_map<StateType, storm::generator::CompressedState> IdToStateMap

typedef IdToStateMap::const_iterator const_iterator

Public Functions

ExplorationInformation()

Constructor for the ExplorationInformation class.

Parameters:

• store_rewards – If true, the class will store the computed reward

• store_expanded_states – If true, the class will store all expanded raw states in memory

const state_properties::StateDescription<StateType, ValueType> &getStateDescription(const StateType &state_id) const

Return the state description associated to the input state id.

Parameters:

state_id – The ID of the requested state

Returns:

The state description associated to the input state id

void addStateDescription(const StateType &state_id, std::unique_ptr<state_properties::StateDescription<StateType, ValueType>> state_description_ptr)

Add a state description to the explored states.

Parameters:

• state_id – The ID of the state to add

• state_description_ptr – The state description to add (as a unique_ptr reference)

const_iterator findUnexploredState(const StateType &state) const

const_iterator unexploredStatesEnd() const

void removeUnexploredState(const_iterator it)

void addUnexploredState(const StateType &state_id, const storm::generator::CompressedState &compressed_state)

inline bool isUnexplored(const StateType &state_id)