Deserializer

Methods
Modifier and Type	Method and Description
`java.math.BigDecimal`	`readBigDecimal()`
`java.math.BigInteger`	`readBigInteger()`
`java.lang.Class`	`readClass()`
`Expression`	`readExpression()`
`Expression[]`	`readExpressionArray()`
`Expression`	`readInitializedExpression()`
`SymbolicEnvironment`	`readSymbolicEnvironment()`
`Value[]`	`readValueArray()`

Methods inherited from interface java.io.ObjectInput
available, close, read, read, read, readObject, skip

Methods inherited from interface java.io.DataInput
readBoolean, readByte, readChar, readDouble, readFloat, readFully, readFully, readInt, readLine, readLong, readShort, readUnsignedByte, readUnsignedShort, readUTF, skipBytes

java.math.BigInteger readBigInteger()
                                    throws java.io.IOException

java.math.BigDecimal readBigDecimal()
                                    throws java.io.IOException

Expression readExpression()
                          throws java.io.IOException

Expression[] readExpressionArray()
                                 throws java.io.IOException

Value[] readValueArray()
                       throws java.io.IOException

Expression readInitializedExpression()
                                     throws java.io.IOException

SymbolicEnvironment readSymbolicEnvironment()
                                            throws java.io.IOException

java.lang.Class readClass()
                          throws java.io.IOException

Interface Deserializer