diff --git a/BewerterStrukturellerInduktion/Bewertung/Bewerter.cs b/BewerterStrukturellerInduktion/Bewertung/Bewerter.cs index 1760d982f061eb12f4ef581aaddad00d5558e6ea..27e1088f05b2eee21af7e99a18b6ef8b4f17a2c0 100644 --- a/BewerterStrukturellerInduktion/Bewertung/Bewerter.cs +++ b/BewerterStrukturellerInduktion/Bewertung/Bewerter.cs @@ -62,7 +62,7 @@ namespace Bewertung { InductionCaseConfig icConfig = indConf.GetIndCaseConfig(ic.Constructor); if (icConfig == null) throw new Exception("Cannot find config for induction case " + ic.Constructor.name + "."); double confPt = base.confPt(icConfig.config.maxPt, abstrMaxPt, icConfig.config.minSteps); - aO.findIPA("Fall " + ic.Constructor.name).Assessment = Math.Max(0.0, confPt - icConfig.config.maxPt * errorPoints / Math.Max(1.0, Math.Min(icConfig.config.maxSteps, abstrMaxPt))); + aO.findIPA("Fall " + ic.Constructor.name).Assessment = Math.Max(0.0, confPt - confPt * errorPoints / Math.Max(1.0, Math.Min(icConfig.config.maxSteps, abstrMaxPt))); } foreach (InductionPartAssessment ipa in aO.confIndAssessment) aO.assessment += ipa.Assessment; @@ -76,7 +76,7 @@ namespace Bewertung { errorPoints = errorPoints / Math.Max(1.0, Math.Min(sConf.maxSteps, aO.AbstractMaxTaskPoints())); if (containsError23(mainLemma)) errorPoints += weights[5]; double confPt = base.confPt(aO.task.config.MaxPt(), aO.AbstractMaxTaskPoints(), sConf.minSteps); - aO.assessment = Math.Max(0.0, confPt - (aO.task.config.MaxPt() * errorPoints)); + aO.assessment = Math.Max(0.0, confPt - (confPt * errorPoints)); } } bool containsError23(Lemma lemma)