org.symcomp.openmath.latex.symbols
Class Calculus1

java.lang.Object
  org.symcomp.openmath.SymbolRenderer
      org.symcomp.openmath.latex.symbols.Calculus1

public class Calculus1
extends SymbolRenderer

Field Summary

Fields inherited from class org.symcomp.openmath.SymbolRenderer

out, renderer

Constructor Summary

Calculus1(AbstractRenderer renderer)

Method Summary

void	defint()
void	defint(OpenMathBase[] params, int prec)
void	diff()
void	diff(OpenMathBase[] params, int prec)
void	int_()
void	int_(OpenMathBase[] params, int prec)
int	prec_defint()
int	prec_diff()
int	prec_int_()

Methods inherited from class org.symcomp.openmath.SymbolRenderer

render, renderBinary, renderNAry, renderNAry, renderNonAssocBinary

Methods inherited from class java.lang.Object

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

Constructor Detail

Calculus1

public Calculus1(AbstractRenderer renderer)

Method Detail

prec_diff

public int prec_diff()

diff

public void diff()
          throws java.io.IOException

Throws:

java.io.IOException

diff

public void diff(OpenMathBase[] params,
                 int prec)
          throws java.lang.Exception

Throws:

java.lang.Exception

prec_int_

public int prec_int_()

int_

public void int_()
          throws java.io.IOException

Throws:

java.io.IOException

int_

public void int_(OpenMathBase[] params,
                 int prec)
          throws java.lang.Exception

Throws:

java.lang.Exception

prec_defint

public int prec_defint()

defint

public void defint()
            throws java.io.IOException

Throws:

java.io.IOException

defint

public void defint(OpenMathBase[] params,
                   int prec)
            throws java.lang.Exception

Throws:

java.lang.Exception