public class Options
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Options.BuilderMethod |
static class |
Options.FunctionalDependencyOption |
static class |
Options.InjectivityStrategy |
static class |
Options.NodeSharingOption |
static class |
Options.PlanTrimOption |
Modifier and Type | Field and Description |
---|---|
static Options.BuilderMethod |
builderMethod |
static boolean |
employTrivialIndexers |
static boolean |
enableInheritance |
static int |
firstFreeContainer |
static Options.FunctionalDependencyOption |
functionalDependencyOption |
static Options.InjectivityStrategy |
injectivityStrategy |
static Options.NodeSharingOption |
nodeSharingOption |
static int |
numberOfLocalContainers |
static Options.PlanTrimOption |
planTrimOption |
static boolean |
releaseOnetimeIndexers |
Constructor and Description |
---|
Options() |
public static final Options.NodeSharingOption nodeSharingOption
public static final boolean releaseOnetimeIndexers
public static final Options.InjectivityStrategy injectivityStrategy
public static final boolean enableInheritance
public static final boolean employTrivialIndexers
public static final int numberOfLocalContainers
public static final int firstFreeContainer
public static final Options.BuilderMethod builderMethod
public static Options.FunctionalDependencyOption functionalDependencyOption
public static Options.PlanTrimOption planTrimOption