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

Uses of Interface
korat.finitization.IBooleanSet

Packages that use IBooleanSet
korat.finitization   
korat.finitization.impl   
 

Uses of IBooleanSet in korat.finitization
 

Methods in korat.finitization that return IBooleanSet
 IBooleanSet IFinitization.createBooleanSet()
          Creates new IBooleanSet
 

Uses of IBooleanSet in korat.finitization.impl
 

Classes in korat.finitization.impl that implement IBooleanSet
 class BooleanSet
           
 

Methods in korat.finitization.impl that return IBooleanSet
 IBooleanSet Finitization.createBooleanSet()
           
 

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