double max = -1.0d;
double tmax;
try {
Array cVector = containsValue(value);
if (cVector.size() > 0) {
for (Enumeration e = cVector.elements(); e.hasMoreElements();) {
FzySet aSet = (FzySet) e.nextElement();
tmax = aSet.getDOM(value);
if (tmax > max) max = tmax;
}
return max;