org.symcomp.openmath.popcorn.symbols
Class Nums1

java.lang.Object
  extended by org.symcomp.openmath.SymbolRenderer
      extended by org.symcomp.openmath.popcorn.symbols.Nums1

public class Nums1
extends SymbolRenderer


Field Summary
 
Fields inherited from class org.symcomp.openmath.SymbolRenderer
out, renderer
 
Constructor Summary
Nums1(AbstractRenderer renderer)
           
 
Method Summary
 void e()
           
 void i()
           
 void infinity()
           
 void pi()
           
 int prec_rational()
           
 void rational(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

Nums1

public Nums1(AbstractRenderer renderer)
Method Detail

prec_rational

public int prec_rational()

rational

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

e

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

pi

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

i

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

infinity

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


Copyright © 2010. All Rights Reserved.