Uses of Class
korat.finitization.impl.FinitizationFactory

Packages that use FinitizationFactory

korat.finitization.impl

Uses of FinitizationFactory in korat.finitization.impl

Fields in korat.finitization.impl declared as FinitizationFactory

private static FinitizationFactory

FinitizationFactory.instance

Methods in korat.finitization.impl that return FinitizationFactory

static FinitizationFactory

FinitizationFactory.getInstance()