Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
korat.utils.io.ISerializer

Packages that use ISerializer
korat.utils   
korat.utils.io   
 

Uses of ISerializer in korat.utils
 

Fields in korat.utils declared as ISerializer
private  ISerializer SerializationListener.serializer
           
 

Uses of ISerializer in korat.utils.io
 

Classes in korat.utils.io that implement ISerializer
 class SimpleSerializer
          Simple serializer, using java.io serialization
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES