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

Uses of Interface
korat.finitization.IFinitizationFactory

Packages that use IFinitizationFactory
korat.finitization.impl   
 

Uses of IFinitizationFactory in korat.finitization.impl
 

Classes in korat.finitization.impl that implement IFinitizationFactory
 class FinitizationFactory
          Use this factroy class to create finitizations.
 

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