Package org.jacop.search.restart
Class RestartSearch<T extends Var>
java.lang.Object
org.jacop.search.restart.RestartSearch<T>
- Type Parameters:
T
- type of variables used in this search.
Implements restart search. Only cost as IntVar is possible.
- Version:
- 4.10
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescription(package private) boolean
(package private) Calculator
(package private) Var
(package private) double
private final Random
(package private) int
(package private) SolutionListener
<T> (package private) int
(package private) int
(package private) IntVar[]
(package private) CustomReport
(package private) int
(package private) DepthFirstSearch
<T> (package private) SelectChoicePoint
<T> (package private) Store
(package private) long
(package private) boolean
(package private) int[]
-
Constructor Summary
ConstructorsConstructorDescriptionRestartSearch
(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator) RestartSearch
(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator, T cost) -
Method Summary
Modifier and TypeMethodDescriptionvoid
void
boolean
(package private) void
double
int
int[]
int
IntVar[]
boolean
labeling()
int
restarts()
(package private) void
searchSingleSolution
(DepthFirstSearch<T> label) void
setRelaxAndReconstruct
(IntVar[] vs, int p) void
setRestartsLimit
(int l) void
setTimeOut
(long tOut) void
setTimeOutMilliseconds
(long tOut)
-
Field Details
-
store
Store store -
search
DepthFirstSearch<T extends Var> search -
select
SelectChoicePoint<T extends Var> select -
calculator
Calculator calculator -
lastSolutionListener
SolutionListener<T extends Var> lastSolutionListener -
reportSolution
CustomReport reportSolution -
lastNotNullSearch
-
cost
Var cost -
intCostValue
int intCostValue -
floatCostValue
double floatCostValue -
numberRestarts
int numberRestarts -
atLeastOneSolution
boolean atLeastOneSolution -
timeOutCheck
boolean timeOutCheck -
timeOut
long timeOut -
generator
-
rarVars
IntVar[] rarVars -
probability
int probability -
values
int[] values -
restartsLimit
int restartsLimit
-
-
Constructor Details
-
RestartSearch
public RestartSearch(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator, T cost) -
RestartSearch
public RestartSearch(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator)
-
-
Method Details
-
labeling
public boolean labeling() -
boundCost
void boundCost() -
getIntCost
public int getIntCost() -
getFloatCost
public double getFloatCost() -
addReporter
-
restarts
public int restarts() -
setTimeOut
public void setTimeOut(long tOut) -
setTimeOutMilliseconds
public void setTimeOutMilliseconds(long tOut) -
searchSingleSolution
-
setRelaxAndReconstruct
-
assignRelaxedVariables
public void assignRelaxedVariables() -
getLastSolution
public int[] getLastSolution() -
getRelaxedVariables
-
getProbability
public int getProbability() -
setRestartsLimit
public void setRestartsLimit(int l) -
atLeastOneSolution
public boolean atLeastOneSolution()
-