RegionSplitEstimateKind.h

Go to the documentation of this file.

#pragma once
 
namespace storm::modelchecker {
enum class RegionSplitEstimateKind { Distance, StateValueDelta, StateValueDeltaWeighted, Derivative };
}