org.jacop.search

Class AFCMaxDeg<T extends Var>

java.lang.Object

org.jacop.search.AFCMaxDeg<T>

Type Parameters:

T - type of variable being compared.

All Implemented Interfaces:

ComparatorVariable<T>

public class AFCMaxDeg<T extends Var>
extends Object
implements ComparatorVariable<T>

Defines a AccumulatedFailureCount comparator (afc) for variables. Every time a constraint failure is encountered the constraint afc_weight is increased by one. All other constraints afc_weight value is recalculated as afc_weight * decay. The comparator will choose the variable with the highest afc_weight, defined as sum of all its constraints afc_weights, divided by variable's domain size.

Version:

4.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Constructor Summary

Constructors

Constructor and Description
AFCMaxDeg(Store store)
AFCMaxDeg(Store store, double decay)

Method Summary

Modifier and Type	Method and Description
int	compare(double left, T var) It compares the baseline metric to the variable metric.
int	compare(T leftVar, T rightVar) It compares the metric of the left variable against the right one.
double	metric(T var) It returns the metric of the variable given according to the comparator.

Methods inherited from class java.lang.Object

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

Constructor Detail

AFCMaxDeg

public AFCMaxDeg(Store store)

AFCMaxDeg

public AFCMaxDeg(Store store,
                 double decay)

Method Detail

compare

public int compare(double left,
                   T var)

Description copied from interface: ComparatorVariable

It compares the baseline metric to the variable metric.

Specified by:

compare in interface ComparatorVariable<T extends Var>

Parameters:

left - the baseline for comparison.

var - variable which is compared to baseline.

Returns:

1 if metric is larger than variable, 0 if equal, -1 if baseline is smaller.

compare

public int compare(T leftVar,
                   T rightVar)

Description copied from interface: ComparatorVariable

It compares the metric of the left variable against the right one.

Specified by:

compare in interface ComparatorVariable<T extends Var>

Parameters:

leftVar - left variable

rightVar - right variable

Returns:

1 if metric for left variable is greater, 0 is they are equal, -1 if smaller.

metric

public double metric(T var)

Description copied from interface: ComparatorVariable

It returns the metric of the variable given according to the comparator.

Specified by:

metric in interface ComparatorVariable<T extends Var>

Parameters:

var - variable for which metric is computed.

Returns:

the metric of the variable according to the comparator.