Options

public class Options
extends java.lang.Object

Feature switches.

Nested Classes
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`

Fields
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 boolean`	`MONITOR_VIOLATION_OF_RETE_NODEGROUP_TOPOLOGICAL_SORTING` Enable for internal debugging of Rete communication scheme; catches cases where the topological sort is violated by a message sent "backwards"
`static Options.NodeSharingOption`	`nodeSharingOption`
`static int`	`numberOfLocalContainers`
`static Options.PlanTrimOption`	`planTrimOption`
`static boolean`	`releaseOnetimeIndexers`

Constructors
Constructor and Description
`Options()`

Method Summary
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public static final Options.NodeSharingOption nodeSharingOption

public static final Options.InjectivityStrategy injectivityStrategy

public static final Options.BuilderMethod builderMethod

public static final Options.FunctionalDependencyOption functionalDependencyOption

public static final Options.PlanTrimOption planTrimOption

Class Options