org.symcomp.openmath.popcorn.symbols
Class Arith1

java.lang.Object
  org.symcomp.openmath.SymbolRenderer
      org.symcomp.openmath.popcorn.symbols.Arith1

public class Arith1
extends SymbolRenderer

Field Summary

Fields inherited from class org.symcomp.openmath.SymbolRenderer

out, renderer

Constructor Summary

Arith1(AbstractRenderer renderer)

Method Summary

void	abs()
void	divide(OpenMathBase[] params, int prec)
void	gcd()
void	lcm()
void	minus(OpenMathBase[] params, int prec)
void	plus()
void	plus(OpenMathBase[] params, int prec)
void	power(OpenMathBase[] params, int prec)
int	prec_divide()
int	prec_minus()
int	prec_plus()
int	prec_power()
int	prec_times()
int	prec_unary_minus()
void	product()
void	root()
void	sum()
void	times()
void	times(OpenMathBase[] params, int prec)
void	unary_minus()
void	unary_minus(OpenMathBase[] params, int prec)

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

Arith1

public Arith1(AbstractRenderer renderer)

Method Detail

prec_plus

public int prec_plus()

plus

public void plus()
          throws java.io.IOException

Throws:

java.io.IOException

plus

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

Throws:

java.lang.Exception

prec_unary_minus

public int prec_unary_minus()

unary_minus

public void unary_minus()
                 throws java.lang.Exception

Throws:

java.lang.Exception

unary_minus

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

Throws:

java.lang.Exception

prec_times

public int prec_times()

times

public void times()
           throws java.io.IOException

Throws:

java.io.IOException

times

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

Throws:

java.lang.Exception

prec_power

public int prec_power()

power

public void power(OpenMathBase[] params,
                  int prec)
           throws java.io.IOException

Throws:

java.io.IOException

prec_minus

public int prec_minus()

minus

public void minus(OpenMathBase[] params,
                  int prec)
           throws java.io.IOException

Throws:

java.io.IOException

prec_divide

public int prec_divide()

divide

public void divide(OpenMathBase[] params,
                   int prec)
            throws java.io.IOException

Throws:

java.io.IOException

lcm

public void lcm()
         throws java.io.IOException

Throws:

java.io.IOException

gcd

public void gcd()
         throws java.io.IOException

Throws:

java.io.IOException

abs

public void abs()
         throws java.io.IOException

Throws:

java.io.IOException

root

public void root()
          throws java.io.IOException

Throws:

java.io.IOException

sum

public void sum()
         throws java.io.IOException

Throws:

java.io.IOException

product

public void product()
             throws java.io.IOException

Throws:

java.io.IOException