org.symcomp.openmath.popcorn.symbols
Class Interval1

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

public class Interval1
extends SymbolRenderer


Field Summary
 
Fields inherited from class org.symcomp.openmath.SymbolRenderer
out, renderer
 
Constructor Summary
Interval1(AbstractRenderer renderer)
           
 
Method Summary
 void integer_interval(OpenMathBase[] params, int prec)
           
 void interval(OpenMathBase[] params, int prec)
           
 int prec_integer_interval()
           
 int prec_interval()
           
 
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

Interval1

public Interval1(AbstractRenderer renderer)
Method Detail

prec_interval

public int prec_interval()

interval

public void interval(OpenMathBase[] params,
                     int prec)
              throws java.io.IOException
Throws:
java.io.IOException

prec_integer_interval

public int prec_integer_interval()

integer_interval

public void integer_interval(OpenMathBase[] params,
                             int prec)
                      throws java.io.IOException
Throws:
java.io.IOException


Copyright © 2010. All Rights Reserved.