org.activemath.exercises.openmath.services
Class IDEASDRService

java.lang.Object
  org.activemath.exercises.openmath.OpenMath
      org.activemath.exercises.openmath.services.IDEASDRService

public class IDEASDRService
extends OpenMath

Field Summary

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

openmathNamespace

Constructor Summary

IDEASDRService()

IDEASDRService(String encoding)

Method Summary

org.jdom.Element	cleanOmobj(org.jdom.Element input)
boolean	compare(org.jdom.Element task, org.jdom.Element input, String context)
boolean	compare(String task, String input, String context)
String	el(String name, String value)
String	executeHTTPQuery(String input)
org.jdom.Element	expr2Omobj(org.jdom.Element expr)
org.jdom.Element	fromString(String str)
org.jdom.Element	generateProblem(String context)
org.jdom.Element	generateProblem(String context, int difficulty)
org.jdom.Element	generateProblemPlain(String context)
org.jdom.Element	generateProblemPlain(String context, int difficulty)
org.jdom.Element	generateProblemPlainString(String context, int difficulty)
List<String>	getBuggyRules(org.jdom.Element task, org.jdom.Element input, String context)
List<String>	getBuggyRules(String task, String input, String context)
org.jdom.Element	getDiagnosis(org.jdom.Element task, org.jdom.Element input, String context)
org.jdom.Element	getDiagnosis(String task, String input, String context)
String	getEncoding()
List<org.jdom.Element>	getExpertSolutionPath(org.jdom.Element input, String context) using derivation service to construct the worked out solution
String	getExpertSolutionPathNLG(org.jdom.Element input, String context)
org.jdom.Element	getNextStep(org.jdom.Element input, String context)
org.jdom.Element	getNextStep(String input, String context)
String	getNumberOfStepsLeft(String task, String input, String context)
org.jdom.Element	getResult(org.jdom.Element input, String context)
org.jdom.Element	getResult(String input, String context)
String	getRule(String input, String context)
List<org.jdom.Element>	getUserSolutionPath(org.jdom.Element task, org.jdom.Element input, String context)
boolean	isGoodTask(org.jdom.Element task, String context)
boolean	isReady(org.jdom.Element input, String context)
boolean	isReady(String input, String context)
org.jdom.Element	omobj2Expr(org.jdom.Element omobj)
String	refxref(String xref)
void	setDifficulty(String difficulty)
void	setEncoding(String encoding)
String	toString(org.jdom.Element el)
String	toString(List<org.jdom.Element> list)

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

IDEASDRService

public IDEASDRService()

IDEASDRService

public IDEASDRService(String encoding)

Method Detail

setEncoding

public void setEncoding(String encoding)

getEncoding

public String getEncoding()

setDifficulty

public void setDifficulty(String difficulty)

getNextStep

public org.jdom.Element getNextStep(org.jdom.Element input,
                                    String context)

getNextStep

public org.jdom.Element getNextStep(String input,
                                    String context)

getRule

public String getRule(String input,
                      String context)

getDiagnosis

public org.jdom.Element getDiagnosis(org.jdom.Element task,
                                     org.jdom.Element input,
                                     String context)

getDiagnosis

public org.jdom.Element getDiagnosis(String task,
                                     String input,
                                     String context)

el

public String el(String name,
                 String value)

refxref

public String refxref(String xref)

compare

public boolean compare(String task,
                       String input,
                       String context)

compare

public boolean compare(org.jdom.Element task,
                       org.jdom.Element input,
                       String context)

getBuggyRules

public List<String> getBuggyRules(String task,
                                  String input,
                                  String context)

getBuggyRules

public List<String> getBuggyRules(org.jdom.Element task,
                                  org.jdom.Element input,
                                  String context)

getNumberOfStepsLeft

public String getNumberOfStepsLeft(String task,
                                   String input,
                                   String context)

generateProblem

public org.jdom.Element generateProblem(String context)

generateProblemPlain

public org.jdom.Element generateProblemPlain(String context)

generateProblem

public org.jdom.Element generateProblem(String context,
                                        int difficulty)

generateProblemPlain

public org.jdom.Element generateProblemPlain(String context,
                                             int difficulty)

generateProblemPlainString

public org.jdom.Element generateProblemPlainString(String context,
                                                   int difficulty)

getResult

public org.jdom.Element getResult(org.jdom.Element input,
                                  String context)

getResult

public org.jdom.Element getResult(String input,
                                  String context)

getUserSolutionPath

public List<org.jdom.Element> getUserSolutionPath(org.jdom.Element task,
                                                  org.jdom.Element input,
                                                  String context)

getExpertSolutionPath

public List<org.jdom.Element> getExpertSolutionPath(org.jdom.Element input,
                                                    String context)

using derivation service to construct the worked out solution

Parameters:

input -

context -

Returns:

getExpertSolutionPathNLG

public String getExpertSolutionPathNLG(org.jdom.Element input,
                                       String context)

isReady

public boolean isReady(org.jdom.Element input,
                       String context)

isReady

public boolean isReady(String input,
                       String context)

isGoodTask

public boolean isGoodTask(org.jdom.Element task,
                          String context)

executeHTTPQuery

public String executeHTTPQuery(String input)

expr2Omobj

public org.jdom.Element expr2Omobj(org.jdom.Element expr)

omobj2Expr

public org.jdom.Element omobj2Expr(org.jdom.Element omobj)

fromString

public org.jdom.Element fromString(String str)

toString

public String toString(org.jdom.Element el)

toString

public String toString(List<org.jdom.Element> list)

cleanOmobj

public org.jdom.Element cleanOmobj(org.jdom.Element input)