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 Object

Implements restart search. Only cost as IntVar is possible.

Version:

4.10

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) boolean	atLeastOneSolution
(package private) Calculator	calculator
(package private) Var	cost
(package private) double	floatCostValue
private final Random	generator
(package private) int	intCostValue
(package private) Search<T>	lastNotNullSearch
(package private) SolutionListener<T>	lastSolutionListener
(package private) int	numberRestarts
(package private) int	probability
(package private) IntVar[]	rarVars
(package private) CustomReport	reportSolution
(package private) int	restartsLimit
(package private) DepthFirstSearch<T>	search
(package private) SelectChoicePoint<T>	select
(package private) Store	store
(package private) long	timeOut
(package private) boolean	timeOutCheck
(package private) int[]	values

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, T cost)

Method Summary

Modifier and Type	Method	Description
void	addReporter(CustomReport r)
void	assignRelaxedVariables()
boolean	atLeastOneSolution()
(package private) void	boundCost()
double	getFloatCost()
int	getIntCost()
int[]	getLastSolution()
int	getProbability()
IntVar[]	getRelaxedVariables()
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)

Methods inherited from class java.lang.Object

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

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

Search<T extends Var> lastNotNullSearch

cost

Var cost

intCostValue

int intCostValue

floatCostValue

double floatCostValue

numberRestarts

int numberRestarts

atLeastOneSolution

boolean atLeastOneSolution

timeOutCheck

boolean timeOutCheck

timeOut

long timeOut

generator

private final Random 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

public void addReporter(CustomReport r)

restarts

public int restarts()

setTimeOut

public void setTimeOut(long tOut)

setTimeOutMilliseconds

public void setTimeOutMilliseconds(long tOut)

searchSingleSolution

void searchSingleSolution(DepthFirstSearch<T> label)

setRelaxAndReconstruct

public void setRelaxAndReconstruct(IntVar[] vs,
 int p)

assignRelaxedVariables

public void assignRelaxedVariables()

getLastSolution

public int[] getLastSolution()

getRelaxedVariables

public IntVar[] getRelaxedVariables()

getProbability

public int getProbability()

setRestartsLimit

public void setRestartsLimit(int l)

atLeastOneSolution

public boolean atLeastOneSolution()