Uses of Interface
korat.finitization.IDoubleSet

Packages that use IDoubleSet
korat.finitization   
korat.finitization.impl   
 

Uses of IDoubleSet in korat.finitization
 

Methods in korat.finitization that return IDoubleSet
 IDoubleSet IFinitization.createDoubleSet(double singleValue)
          Creates IDoubleSet with the single value that is given as the method parameter.
 IDoubleSet IFinitization.createDoubleSet(double min, double max)
          Here the step (differecte) between two consecutive values in the set defaults to 1.
 IDoubleSet IFinitization.createDoubleSet(double min, double diff, double max)
           
 

Uses of IDoubleSet in korat.finitization.impl
 

Classes in korat.finitization.impl that implement IDoubleSet
 class DoubleSet
           
 

Methods in korat.finitization.impl that return IDoubleSet
 IDoubleSet Finitization.createDoubleSet(double singleValue)
           
 IDoubleSet Finitization.createDoubleSet(double min, double max)
           
 IDoubleSet Finitization.createDoubleSet(double min, double diff, double max)