org.symcomp.openmath.latex.symbols
Class Setname1

java.lang.Object
  org.symcomp.openmath.SymbolRenderer
      org.symcomp.openmath.latex.symbols.Setname1

public class Setname1
extends SymbolRenderer

Field Summary

Fields inherited from class org.symcomp.openmath.SymbolRenderer

out, renderer

Constructor Summary

Setname1(AbstractRenderer renderer)

Method Summary

void	C()
void	N()
void	Q()
void	R()
void	Z()

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

Setname1

public Setname1(AbstractRenderer renderer)

Method Detail

N

public void N()
       throws java.io.IOException

Throws:

java.io.IOException

Z

public void Z()
       throws java.io.IOException

Throws:

java.io.IOException

Q

public void Q()
       throws java.io.IOException

Throws:

java.io.IOException

R

public void R()
       throws java.io.IOException

Throws:

java.io.IOException

C

public void C()
       throws java.io.IOException

Throws:

java.io.IOException