Package org.jacop.set.search
Class MaxGlbCard<T extends SetVar>
- java.lang.Object
-
- org.jacop.set.search.MaxGlbCard<T>
-
- Type Parameters:
T
- type of variable being used in the search.
- All Implemented Interfaces:
ComparatorVariable<T>
public class MaxGlbCard<T extends SetVar> extends java.lang.Object implements ComparatorVariable<T>
Defines a maximum cardinality, of the greatest lowest bound, variable comparator. The variable with the maximum cardinality for the greatest lower bound has the priority.- Version:
- 4.7
-
-
Constructor Summary
Constructors Constructor Description MaxGlbCard()
It constructs a maximum cardinality, of the greatest lowest bound, variable comparator.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
compare(float left, T var)
Compares the cardinality of the variables glb to the float value.int
compare(T leftVar, T rightVar)
Compares the cardinality of the variables glbs.float
metric(T var)
Returns the cardinality of the glb.
-
-
-
Method Detail
-
compare
public int compare(float left, T var)
Compares the cardinality of the variables glb to the float value.- Specified by:
compare
in interfaceComparatorVariable<T extends SetVar>
- 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)
Compares the cardinality of the variables glbs.- Specified by:
compare
in interfaceComparatorVariable<T extends SetVar>
- Parameters:
leftVar
- left variablerightVar
- right variable- Returns:
- 1 if metric for left variable is greater, 0 is they are equal, -1 if smaller.
-
metric
public float metric(T var)
Returns the cardinality of the glb.- Specified by:
metric
in interfaceComparatorVariable<T extends SetVar>
- Parameters:
var
- variable for which metric is computed.- Returns:
- the metric of the variable according to the comparator.
-
-