Module org.maxicp

Package org.maxicp.search.blackbox

Class ConflictDrivenBranching

java.lang.Object

org.maxicp.search.blackbox.ConflictDrivenBranching

All Implemented Interfaces:

Supplier<Runnable[]>

public final class ConflictDrivenBranching
extends Object
implements Supplier<Runnable[]>

Conflict-driven adaptive branching strategy (dom/wdeg + Last-Conflict + objective-polarity / phase-saving / solution-guided value selection + primary/secondary variable tiering).

Learned conflict weights, phase-saved values, and incumbent solution values persist across restarts.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ConflictDrivenBranching.ValueStrategy

Constructor Summary

Constructors

Constructor	Description
ConflictDrivenBranching(ModelDispatcher model, List<IntExpression> vars, ModelStructureAnalyzer structure, Random random)

Method Summary

Modifier and Type	Method	Description
void	configureRestart(ConflictDrivenBranching.ValueStrategy strategy, double noise, boolean useLastConflict)
Runnable[]	get()
double	getVarWeight(int varIndex)
void	updateIncumbent(List<Integer> solution)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ConflictDrivenBranching

public ConflictDrivenBranching(ModelDispatcher model,
 List<IntExpression> vars,
 ModelStructureAnalyzer structure,
 Random random)

Method Details

configureRestart

public void configureRestart(ConflictDrivenBranching.ValueStrategy strategy,
 double noise,
 boolean useLastConflict)

updateIncumbent

public void updateIncumbent(List<Integer> solution)

getVarWeight

public double getVarWeight(int varIndex)

get

public Runnable[] get()

Specified by:

get in interface Supplier<Runnable[]>