org.symcomp.openmath.popcorn.symbols
Class Minmax1

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

public class Minmax1
extends SymbolRenderer


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

Minmax1

public Minmax1(AbstractRenderer renderer)
Method Detail

min

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

max

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


Copyright © 2010. All Rights Reserved.