org.symcomp.openmath.latex.symbols
Class Arith1

java.lang.Object
  extended by org.symcomp.openmath.SymbolRenderer
      extended by org.symcomp.openmath.latex.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(OpenMathBase[] params, int prec)
           
 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_product()
           
 int prec_sum()
           
 int prec_times()
           
 int prec_unary_minus()
           
 void product()
           
 void product(OpenMathBase[] params, int prec)
           
 void root(OpenMathBase[] params, int prec)
           
 void sum()
           
 void sum(OpenMathBase[] params, int prec)
           
 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

abs

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

root

public void root(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

prec_sum

public int prec_sum()

sum

public void sum()
         throws java.io.IOException
Throws:
java.io.IOException

sum

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

prec_product

public int prec_product()

product

public void product()
             throws java.io.IOException
Throws:
java.io.IOException

product

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

lcm

public void lcm()
         throws java.io.IOException
Throws:
java.io.IOException

gcd

public void gcd()
         throws java.io.IOException
Throws:
java.io.IOException


Copyright © 2010. All Rights Reserved.