private fun cpt_cast_classes: Counter[String]

nitc :: DetectCovariancePhase :: cpt_cast_classes

Property definitions

nitc $ DetectCovariancePhase :: cpt_cast_classes 
	fun cpt_cast_classes: Counter[String] do return once new Counter[String]
src/metrics/detect_covariance.nit:60,2--73
Nit tools. Version .