org.symcomp.openmath.popcorn.symbols
Class Fns1

java.lang.Object
  org.symcomp.openmath.SymbolRenderer
      org.symcomp.openmath.popcorn.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()

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

lambda

public void lambda()
            throws java.io.IOException

Throws:

java.io.IOException