org.symcomp.openmath.latex.symbols
Class Logic1

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