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.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	RestartSearch.CostListener<T extends Var>

Constructor Summary

Constructors

Constructor and 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 and 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

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)