org.symcomp.openmath.latex.symbols
Class Minmax1

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