org.activemath.exercises.generators
Class DRGenerator.DREvaluator

java.lang.Object
  org.activemath.exercises.openmath.OpenMath
      org.activemath.exercises.Evaluator
          org.activemath.exercises.generators.DRGenerator.DREvaluator

Direct Known Subclasses:

IDEASGenerator.IDEASDREvaluator, IntegralGenerator.IntegralDREvaluator

Enclosing class:

DRGenerator

public class DRGenerator.DREvaluator
extends Evaluator

Field Summary

Fields inherited from class org.activemath.exercises.Evaluator

diagnosisFromCondition, localUserModel, log, om, omdocNamespace, omobjFalse, omobjTrue, omobjZero

Fields inherited from class org.activemath.exercises.openmath.OpenMath

openmathNamespace

Constructor Summary

DRGenerator.DREvaluator(LocalUserModel localUserModel)

Method Summary

protected boolean	compare(org.jdom.Element task, org.jdom.Element userInput, int n)
protected void	replaceDefault(org.jdom.Element answerMapElement, org.jdom.Element userInput, boolean correct)

Methods inherited from class org.activemath.exercises.Evaluator

booleanTrivialComparison, booleanTrivialComparison, booleanTrivialCompositeComparison, booleanTrivialElementCondition, booleanTrivialEvaluateAnswerMap, elementCondition, getAchievement, getDiagnosis, isNumericallyEqual, isSemanticallyEqual, isSyntacticallyEqual, pickNextInteraction

Methods inherited from class org.activemath.exercises.openmath.OpenMath

applyBinding, getOmobjContents, oma, oma, oma, oma, oma, ombind, ombind, ombind, ombind, ombind, ombvar, ombvar, ombvar, ombvar, ome, ome, ome, ome, omf, omf, omi, omi, omobj, oms, omstr, omv, output, setOmNamespace, substituteVariables, tidyForOpenMath1, toDouble, toInt

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DRGenerator.DREvaluator

public DRGenerator.DREvaluator(LocalUserModel localUserModel)

Method Detail

compare

protected boolean compare(org.jdom.Element task,
                          org.jdom.Element userInput,
                          int n)

replaceDefault

protected void replaceDefault(org.jdom.Element answerMapElement,
                              org.jdom.Element userInput,
                              boolean correct)