Package org.symcomp.openmath

Class Summary

AbstractRenderer
Base64	Encodes and decodes to and from Base64 notation.
Base64.InputStream	A Base64.InputStream will read data from another java.io.InputStream, given in the constructor, and encode/decode to/from Base64 notation on the fly.
Base64.OutputStream	A Base64.OutputStream will write data to another java.io.OutputStream, given in the constructor, and encode/decode to/from Base64 notation on the fly.
OpenMathBase	Base class of all OpenMath Objects OpenMathBase and its subclasses are used to store OpenMath expressions.
OpenMathVisitor
SymbolRenderer
Tools

Enum Summary

OpenMathBase.ENCODINGS

constants

Exception Summary

OpenMathException

Exceptions thrown from within org.symcomp.openmath should (!) be of this type.