IntegerStrategy.ConfigurableStrategy |
IntegerStrategy.ConfigurableStrategy.addPriorityDefinitions(java.util.Comparator<NodeKey>... additionalDefinitions) |
Retains any existing definitions, but adds these to be used rather than the existing.
|
static IntegerStrategy.ConfigurableStrategy |
IntegerStrategy.newConfigurable() |
|
IntegerStrategy.ConfigurableStrategy |
IntegerStrategy.ConfigurableStrategy.withGapTolerance(NumberContext newTolerance) |
Change the MIP gap
|
IntegerStrategy.ConfigurableStrategy |
IntegerStrategy.ConfigurableStrategy.withGMICutConfiguration(IntegerStrategy.GMICutConfiguration newConfiguration) |
|
IntegerStrategy.ConfigurableStrategy |
IntegerStrategy.ConfigurableStrategy.withModelStrategyFactory(java.util.function.BiFunction<ExpressionsBasedModel,IntegerStrategy,ModelStrategy> newFactory) |
Create a sub-class of ModelStrategy and provide a factory method for it here.
|
IntegerStrategy.ConfigurableStrategy |
IntegerStrategy.ConfigurableStrategy.withParallelism(java.util.function.IntSupplier newParallelism) |
How many threads will be used? Perhaps use Parallelism to obtain a suitable value.
|
IntegerStrategy.ConfigurableStrategy |
IntegerStrategy.ConfigurableStrategy.withPriorityDefinitions(java.util.Comparator<NodeKey>... newDefinitions) |
Replace the priority definitions with these ones.
|