Nitlanguage.org
  • Nitdoc
  • nitc
  • toolcontext
  • ToolContext
  • refinement_metrics_phase=

protected fun refinement_metrics_phase=(refinement_metrics_phase: Phase)

nitc :: ToolContext :: refinement_metrics_phase=

  • Doc
  • Linearization

Summary

  • Property definitions

  • nitc::refinement_metrics$ToolContext$refinement_metrics_phase=

Property definitions

nitc :: refinement_metrics $ ToolContext :: refinement_metrics_phase=
	var refinement_metrics_phase: Phase = new RefinementMetricsPhase(self, null)
src/metrics/refinement_metrics.nit:24,2--77
Nit tools. Version .