public int compare(T leftVar, T rightVar) { int left = leftVar.dom().min(); int right = rightVar.dom().min(); if (left > right) return 1; if (left < right) return -1; return 0; }
public T getChoiceVariable(int index) { selectedVar = select.getChoiceVariable(index); if (selectedVar != null) { currentSearchNode = new SearchNode(); currentSearchNode.v = selectedVar; currentSearchNode.dom = selectedVar.dom().cloneLight(); } return selectedVar; }
public float metric(T var) { return var.dom().min(); }
public int compare(float left, T var) { int right = var.dom().min(); if (left > right) return 1; if (left < right) return -1; return 0; }