org.activemath.exercises.openmath.services
Class IntegralDRService

java.lang.Object
  extended by org.activemath.exercises.openmath.OpenMath
      extended by org.activemath.exercises.openmath.services.IntegralDRService

public class IntegralDRService
extends OpenMath


Field Summary
 
Fields inherited from class org.activemath.exercises.openmath.OpenMath
openmathNamespace
 
Constructor Summary
IntegralDRService()
           
 
Method Summary
 org.jdom.Element encodeCompareQuery(String name, org.jdom.Element input1, org.jdom.Element input2)
           
 org.jdom.Element encodeCompareQuery(String name, org.jdom.Element input1, org.jdom.Element input2, String context, int n)
           
 org.jdom.Element encodeQuery(String name, org.jdom.Element input, String context)
           
 org.jdom.Element encodeQuery(String name, org.jdom.Element input, String context, int n)
           
 org.jdom.Element oma(org.jdom.Element el1, org.jdom.Element el2, org.jdom.Element el3, org.jdom.Element el4, org.jdom.Element el5)
           
 org.jdom.Element oma(org.jdom.Element el1, org.jdom.Element el2, org.jdom.Element el3, org.jdom.Element el4, org.jdom.Element el5, org.jdom.Element el6)
           
 org.jdom.Element oma(org.jdom.Element el1, org.jdom.Element el2, org.jdom.Element el3, org.jdom.Element el4, org.jdom.Element el5, org.jdom.Element el6, org.jdom.Element el7)
           
 org.jdom.Element omel(String name)
           
 boolean processBooleanQuery(org.jdom.Element expressionOmobj)
           
 org.jdom.Element processQuery(org.jdom.Element expressionOmobj)
           
 org.jdom.Element query(String name, org.jdom.Element input1, org.jdom.Element input2, String context, int n)
           
 org.jdom.Element query(String name, org.jdom.Element input, String context, int n)
           
 org.jdom.Element query(String name, List input, String context, int n)
           
 org.jdom.Element ripOff(org.jdom.Element omobject)
           
 
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

IntegralDRService

public IntegralDRService()
Method Detail

query

public org.jdom.Element query(String name,
                              org.jdom.Element input,
                              String context,
                              int n)

query

public org.jdom.Element query(String name,
                              org.jdom.Element input1,
                              org.jdom.Element input2,
                              String context,
                              int n)

query

public org.jdom.Element query(String name,
                              List input,
                              String context,
                              int n)

processQuery

public org.jdom.Element processQuery(org.jdom.Element expressionOmobj)

processBooleanQuery

public boolean processBooleanQuery(org.jdom.Element expressionOmobj)

encodeQuery

public org.jdom.Element encodeQuery(String name,
                                    org.jdom.Element input,
                                    String context,
                                    int n)

encodeQuery

public org.jdom.Element encodeQuery(String name,
                                    org.jdom.Element input,
                                    String context)

encodeCompareQuery

public org.jdom.Element encodeCompareQuery(String name,
                                           org.jdom.Element input1,
                                           org.jdom.Element input2,
                                           String context,
                                           int n)

encodeCompareQuery

public org.jdom.Element encodeCompareQuery(String name,
                                           org.jdom.Element input1,
                                           org.jdom.Element input2)

omel

public org.jdom.Element omel(String name)

ripOff

public org.jdom.Element ripOff(org.jdom.Element omobject)

oma

public org.jdom.Element oma(org.jdom.Element el1,
                            org.jdom.Element el2,
                            org.jdom.Element el3,
                            org.jdom.Element el4,
                            org.jdom.Element el5)

oma

public org.jdom.Element oma(org.jdom.Element el1,
                            org.jdom.Element el2,
                            org.jdom.Element el3,
                            org.jdom.Element el4,
                            org.jdom.Element el5,
                            org.jdom.Element el6)

oma

public org.jdom.Element oma(org.jdom.Element el1,
                            org.jdom.Element el2,
                            org.jdom.Element el3,
                            org.jdom.Element el4,
                            org.jdom.Element el5,
                            org.jdom.Element el6,
                            org.jdom.Element el7)