Module org.maxicp

Package org.maxicp.search.blackbox

Class SchedulingRunnableSearch

java.lang.Object

org.maxicp.search.blackbox.RunnableSearch

org.maxicp.search.blackbox.SchedulingRunnableSearch

public class SchedulingRunnableSearch
extends RunnableSearch

Constructive and exhaustive scheduling search phase for models containing IntervalVars.

Combines an initial heuristic pass (SetTimesModeling when all intervals are mandatory and fixed-length), Luby-restarted Failure-Directed Search (FDSModeling), and an unbounded exhaustive FDS stage to prove optimality or infeasibility.

Field Summary

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

blackBoxSearch

Constructor Summary

Constructors

Constructor	Description
SchedulingRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntervalVar> intervals, List<IntExpression> vars, Objective objective, 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

SchedulingRunnableSearch

public SchedulingRunnableSearch(BlackBoxSearch blackBoxSearch,
 ModelDispatcher model,
 List<IntervalVar> intervals,
 List<IntExpression> vars,
 Objective objective,
 long randomSeed)

Method Details

run

public SearchStatus run(long timeLimitInMillis)