storm::storage::sparse::detail Namespace Reference

Functions
bool	fits64Bit (ValuationClassDescription::Variable const &varDesc)
template<typename ManagerType>
ValuationsStorage::VariablesInformation	createVariablesInformation (ManagerType &expressionManager, ValuationClassDescription const &description)

Function Documentation

createVariablesInformation()

template<typename ManagerType>

ValuationsStorage::VariablesInformation storm::storage::sparse::detail::createVariablesInformation	(	ManagerType &	expressionManager,
		ValuationClassDescription const &	description )

Definition at line 80 of file ValuationsStorage.cpp.

fits64Bit()

bool storm::storage::sparse::detail::fits64Bit

(

ValuationClassDescription::Variable const &

varDesc

)

Definition at line 21 of file ValuationsStorage.cpp.