org.symcomp.openmath.latex.symbols
Class Fns1

java.lang.Object
  extended by org.symcomp.openmath.SymbolRenderer
      extended by org.symcomp.openmath.latex.symbols.Fns1

public class Fns1
extends SymbolRenderer


Field Summary
 
Fields inherited from class org.symcomp.openmath.SymbolRenderer
out, renderer
 
Constructor Summary
Fns1(AbstractRenderer renderer)
           
 
Method Summary
 void lambda()
           
 void lambda(org.symcomp.openmath.OMVariable[] bvars, OpenMathBase param, int prec)
           
 int prec_lambda()
           
 
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

Fns1

public Fns1(AbstractRenderer renderer)
Method Detail

prec_lambda

public int prec_lambda()

lambda

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

lambda

public void lambda(org.symcomp.openmath.OMVariable[] bvars,
                   OpenMathBase param,
                   int prec)
            throws java.io.IOException
Throws:
java.io.IOException


Copyright © 2010. All Rights Reserved.