org.symcomp.openmath.popcorn.symbols
Class Logic1

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

public class Logic1
extends SymbolRenderer


Field Summary
 
Fields inherited from class org.symcomp.openmath.SymbolRenderer
out, renderer
 
Constructor Summary
Logic1(AbstractRenderer renderer)
           
 
Method Summary
 void and(OpenMathBase[] params, int prec)
           
 void equivalent(OpenMathBase[] params, int prec)
           
 void false_()
           
 void implies(OpenMathBase[] params, int prec)
           
 void not()
           
 void or(OpenMathBase[] params, int prec)
           
 int prec_and()
           
 int prec_equivalent()
           
 int prec_false_()
           
 int prec_implies()
           
 int prec_or()
           
 int prec_true_()
           
 void true_()
           
 
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

Logic1

public Logic1(AbstractRenderer renderer)
Method Detail

prec_implies

public int prec_implies()

implies

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

prec_equivalent

public int prec_equivalent()

equivalent

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

prec_or

public int prec_or()

or

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

prec_and

public int prec_and()

and

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

prec_true_

public int prec_true_()

true_

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

prec_false_

public int prec_false_()

false_

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

not

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


Copyright © 2010. All Rights Reserved.