SubsystemBuilder.h File Reference

#include <memory>
#include <vector>
#include "storm/models/sparse/Model.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/storage/BitVector.h"

Include dependency graph for SubsystemBuilder.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	storm::transformer::SubsystemBuilderReturnType< ValueType, RewardModelType >
struct	storm::transformer::SubsystemBuilderOptions

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::transformer

Functions
template<typename ValueType , typename RewardModelType >
SubsystemBuilderReturnType< ValueType, RewardModelType >	storm::transformer::buildSubsystem (storm::models::sparse::Model< ValueType, RewardModelType > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, bool keepUnreachableStates, SubsystemBuilderOptions options)