py::class_<storm::storage::sparse::StateValuations,std::shared_ptr<storm::storage::sparse::StateValuations>>statevaluation(m,"StateValuation","Valuations for explicit states");
py::class_<storm::storage::sparse::StateValuations,std::shared_ptr<storm::storage::sparse::StateValuations>>statevaluation(m,"StateValuation","Valuations for explicit states");