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.9
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescription(package private) Calculator
(package private) Var
(package private) double
(package private) int
(package private) SolutionListener
(package private) int
(package private) CustomReport
(package private) DepthFirstSearch<T>
(package private) SelectChoicePoint<T>
(package private) Store
(package private) long
(package private) boolean
-
Constructor Summary
ConstructorsConstructorDescriptionRestartSearch
(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator) RestartSearch
(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator, Var cost) -
Method Summary
Modifier and TypeMethodDescriptionvoid
double
int
boolean
labeling()
int
restarts()
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 lastSolutionListener -
reportSolution
CustomReport reportSolution -
lastNotNullSearch
-
cost
Var cost -
intCostValue
int intCostValue -
floatCostValue
double floatCostValue -
numberRestarts
int numberRestarts -
timeOutCheck
boolean timeOutCheck -
timeOut
long timeOut
-
-
Constructor Details
-
RestartSearch
public RestartSearch(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator, Var cost) -
RestartSearch
public RestartSearch(Store store, DepthFirstSearch<T> s, SelectChoicePoint<T> sel, Calculator calculator)
-
-
Method Details
-
labeling
public boolean labeling() -
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)
-