org.symcomp.openmath
Class OpenMathVisitor

java.lang.Object
  org.symcomp.openmath.OpenMathVisitor

public abstract class OpenMathVisitor
extends java.lang.Object

Constructor Summary

OpenMathVisitor()

Method Summary

OpenMathBase	visit(org.symcomp.openmath.OMApply om)
OpenMathBase	visit(org.symcomp.openmath.OMBinary om)
OpenMathBase	visit(org.symcomp.openmath.OMBind om)
OpenMathBase	visit(org.symcomp.openmath.OMError om)
OpenMathBase	visit(org.symcomp.openmath.OMFloat om)
OpenMathBase	visit(org.symcomp.openmath.OMForeign om)
OpenMathBase	visit(org.symcomp.openmath.OMInteger om)
OpenMathBase	visit(org.symcomp.openmath.OMObject om)
OpenMathBase	visit(org.symcomp.openmath.OMReference om)
OpenMathBase	visit(org.symcomp.openmath.OMString om)
OpenMathBase	visit(org.symcomp.openmath.OMSymbol om)
OpenMathBase	visit(org.symcomp.openmath.OMVariable om)
OpenMathBase	visit(OpenMathBase om)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OpenMathVisitor

public OpenMathVisitor()

Method Detail

visit

public OpenMathBase visit(OpenMathBase om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMApply om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMBinary om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMBind om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMError om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMFloat om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMForeign om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMInteger om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMObject om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMReference om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMString om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMSymbol om)

visit

public OpenMathBase visit(org.symcomp.openmath.OMVariable om)