org.symcomp.openmath.popcorn.symbols
Class Relation1

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

public class Relation1
extends SymbolRenderer


Field Summary
 
Fields inherited from class org.symcomp.openmath.SymbolRenderer
out, renderer
 
Constructor Summary
Relation1(AbstractRenderer renderer)
           
 
Method Summary
 void eq(OpenMathBase[] params, int prec)
           
 void geq(OpenMathBase[] params, int prec)
           
 void gt(OpenMathBase[] params, int prec)
           
 void leq(OpenMathBase[] params, int prec)
           
 void lt(OpenMathBase[] params, int prec)
           
 void neq(OpenMathBase[] params, int prec)
           
 int prec_eq()
           
 int prec_geq()
           
 int prec_gt()
           
 int prec_leq()
           
 int prec_lt()
           
 int prec_neq()
           
 
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

Relation1

public Relation1(AbstractRenderer renderer)
Method Detail

prec_eq

public int prec_eq()

eq

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

prec_neq

public int prec_neq()

neq

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

prec_gt

public int prec_gt()

gt

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

prec_geq

public int prec_geq()

geq

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

prec_lt

public int prec_lt()

lt

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

prec_leq

public int prec_leq()

leq

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


Copyright © 2010. All Rights Reserved.