org.symcomp.openmath.popcorn.symbols
Class Relation2

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

public class Relation2
extends SymbolRenderer


Field Summary
 
Fields inherited from class org.symcomp.openmath.SymbolRenderer
out, renderer
 
Constructor Summary
Relation2(AbstractRenderer renderer)
           
 
Method Summary
 void approx(OpenMathBase[] params, int prec)
           
 int prec_approx()
           
 
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

Relation2

public Relation2(AbstractRenderer renderer)
Method Detail

prec_approx

public int prec_approx()

approx

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


Copyright © 2010. All Rights Reserved.