db/d14/_model_forward_8h_source.html

#pragma once

namespace storm::models::sparse {


template<typename ValueType>

class StandardRewardModel;

template<class CValueType, class CRewardModelType = StandardRewardModel<CValueType>>

class Model;

}  // namespace storm::models::sparse

storm::models::sparse::Model
Base class for all sparse models.
Definition Model.h:30

storm::models::sparse::StandardRewardModel
Definition StandardRewardModel.h:16

storm::models::sparse
Definition BeliefExplorationPomdpModelChecker.h:13