Module org.maxicp

Package org.maxicp.search.blackbox

Class RestartRunnableSearch

java.lang.Object

org.maxicp.search.blackbox.RunnableSearch

org.maxicp.search.blackbox.RestartRunnableSearch

public class RestartRunnableSearch
extends RunnableSearch

Feasibility search phase based on repeated DFS restarts with persistent conflict learning.

Rotates between conflict-driven constructive heuristics (dom/wdeg + Last-Conflict + phase saving / objective polarity) and failure-directed search (FDSModeling), while scaling failure cutoffs with the Luby sequence.

Field Summary

Fields inherited from class org.maxicp.search.blackbox.RunnableSearch

blackBoxSearch

Constructor Summary

Constructors

Constructor	Description
RestartRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, int baseFailureLimit, double randomSwapProbability, long randomSeed)

Method Summary

Modifier and Type	Method	Description
SearchStatus	run(long timeLimitInMillis)

Methods inherited from class org.maxicp.search.blackbox.RunnableSearch

hasFeasibleSolution

Methods inherited from class java.lang.Object

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

Constructor Details

RestartRunnableSearch

public RestartRunnableSearch(BlackBoxSearch blackBoxSearch,
 ModelDispatcher model,
 List<IntExpression> vars,
 int baseFailureLimit,
 double randomSwapProbability,
 long randomSeed)

Method Details

run

public SearchStatus run(long timeLimitInMillis)