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

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)

Methods inherited from class java.lang.Object

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

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

lastNotNullSearch

Search<T extends Var> lastNotNullSearch

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)