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.
 



Copyright © 2010. All Rights Reserved.