SetInformationFromOtherHelper.h File Reference

#include "storm/modelchecker/CheckTask.h"

Include dependency graph for SetInformationFromOtherHelper.h:

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

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::modelchecker
namespace	storm::modelchecker::helper

Functions
template<typename TargetHelperType , typename SourceHelperType >
void	storm::modelchecker::helper::setInformationFromOtherHelperNondeterministic (TargetHelperType &targetHelper, SourceHelperType const &sourceHelperType, std::function< typename TargetHelperType::StateSet(typename SourceHelperType::StateSet const &)> const &stateSetTransformer)
	Forwards relevant information stored in another helper to the given helper.
template<typename TargetHelperType , typename SourceHelperType >
void	storm::modelchecker::helper::setInformationFromOtherHelperDeterministic (TargetHelperType &targetHelper, SourceHelperType const &sourceHelperType, std::function< typename TargetHelperType::StateSet(typename SourceHelperType::StateSet const &)> const &stateSetTransformer)
	Forwards relevant information stored in another helper to the given helper.