org.symcomp.openmath.popcorn.symbols
Class List1

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

public class List1
extends SymbolRenderer


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

List1

public List1(AbstractRenderer renderer)
Method Detail

prec_list

public int prec_list()

list

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


Copyright © 2010. All Rights Reserved.