Uses of Class
korat.finitization.impl.NullClassDomain

Packages that use NullClassDomain

korat.finitization.impl

Uses of NullClassDomain in korat.finitization.impl

Fields in korat.finitization.impl declared as NullClassDomain

private static NullClassDomain

NullClassDomain.instance

Methods in korat.finitization.impl that return NullClassDomain

static NullClassDomain

NullClassDomain.getInstance()