public class ReversePropagationGuidedNeighborhood extends PropagationGuidedNeighborhood
Constructor and Description |
---|
ReversePropagationGuidedNeighborhood(Solver solver,
IntVar[] vars,
long seed,
int fgmtSize,
int listSize) |
Modifier and Type | Method and Description |
---|---|
protected void |
update(ICause cause) |
afterInitialPropagation, beforeInitialPropagation, fixSomeVariables, impose, isSearchComplete, recordSolution, restrictLess, selectVariable
activeFastRestart, fastRestart
protected void update(ICause cause) throws ContradictionException
update
in class PropagationGuidedNeighborhood
ContradictionException
Copyright © 2015. All rights reserved.