STORM_LOG_THROW(env.solver().minMax().getMethod()==MinMaxMethod::Topological,storm::exceptions::InvalidEnvironmentException,"This min max solver does not support the selected technique.");
STORM_LOG_THROW(env.solver().minMax().getMethod()==MinMaxMethod::TopologicalCuda,storm::exceptions::InvalidEnvironmentException,"This min max solver does not support the selected technique.");