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

Uses of Class
korat.utils.io.BitOutputStream

Packages that use BitOutputStream
korat.utils.cv   
 

Uses of BitOutputStream in korat.utils.cv
 

Fields in korat.utils.cv declared as BitOutputStream
private  BitOutputStream CVWriter.bos
           
private  BitOutputStream CVWriterDelta.bos
           
private  BitOutputStream CVWriterDelta.bosDelta
           
 

Methods in korat.utils.cv with parameters of type BitOutputStream
private  void CVWriterDelta.writePredicateBit(boolean predicateOK, BitOutputStream os)
           
 

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