3.3.2 Implementation

In this section, we provide an Oz implementation of the encoding technique described above. It is provided as class DomainProduct exported by functor Encode (see Section A.1).

<Encode.oz>=

functor 
import FD FS
export DomainProduct
define 
   <DomainProduct DecodeInt function> 
   class DomainProduct 
      <DomainProduct features> 
      <DomainProduct attributes> 
      <DomainProduct init method> 
      <DomainProduct encode method> 
      <DomainProduct decode method> 
   end 
end

• Features and Attributes

• Init Method

• Encode Method

• Decode Method

• Niceties