org.symcomp.openmath.popcorn.symbols
Class Set1

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

public class Set1
extends SymbolRenderer


Field Summary
 
Fields inherited from class org.symcomp.openmath.SymbolRenderer
out, renderer
 
Constructor Summary
Set1(AbstractRenderer renderer)
           
 
Method Summary
 int prec_set()
           
 void set(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

Set1

public Set1(AbstractRenderer renderer)
Method Detail

prec_set

public int prec_set()

set

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


Copyright © 2010. All Rights Reserved.