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.
public class RestartSearch<T extends Var> extends java.lang.Object
Implements restart search. Only cost as IntVar is possible.- Version:
- 4.8
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
RestartSearch.CostListener<T extends Var>
-
Field Summary
Fields Modifier and Type Field Description (package private) Calculator
calculator
(package private) Var
cost
(package private) double
floatCostValue
(package private) int
intCostValue
(package private) Search<T>
lastNotNullSearch
(package private) SolutionListener
lastSolutionListener
(package private) int
numberRestarts
(package private) CustomReport
reportSolution
(package private) DepthFirstSearch<T>
search
(package private) SelectChoicePoint<T>
select
(package private) Store
store
(package private) long
timeOut
(package private) boolean
timeOutCheck
-
Constructor Summary
Constructors Constructor Description RestartSearch(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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addReporter(CustomReport r)
double
getFloatCost()
int
getIntCost()
boolean
labeling()
int
restarts()
void
setTimeOut(long tOut)
void
setTimeOutMilliseconds(long tOut)
-
-
-
Field Detail
-
store
Store store
-
search
DepthFirstSearch<T extends Var> search
-
select
SelectChoicePoint<T extends Var> select
-
calculator
Calculator calculator
-
lastSolutionListener
SolutionListener lastSolutionListener
-
reportSolution
CustomReport reportSolution
-
cost
Var cost
-
intCostValue
int intCostValue
-
floatCostValue
double floatCostValue
-
numberRestarts
int numberRestarts
-
timeOutCheck
boolean timeOutCheck
-
timeOut
long timeOut
-
-
Constructor Detail
-
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 Detail
-
labeling
public boolean labeling()
-
getIntCost
public int getIntCost()
-
getFloatCost
public double getFloatCost()
-
addReporter
public void addReporter(CustomReport r)
-
restarts
public int restarts()
-
setTimeOut
public void setTimeOut(long tOut)
-
setTimeOutMilliseconds
public void setTimeOutMilliseconds(long tOut)
-
-