public double getPriority() { double left = _left.getPriority(); double right = _right.getPriority(); if (left < right) return(left); else return(right); }
_priority = _pattern.getPriority(); else _priority = Double.NaN;
public double getPriority() { double left = _left.getPriority(); double right = _right.getPriority(); if (left < right) return(left); else return(right); }
public double getPriority() { double left = _left.getPriority(); double right = _right.getPriority(); if (left < right) return(left); else return(right); }
public double getPriority() { double left = _left.getPriority(); double right = _right.getPriority(); if (left < right) return(left); else return(right); }
_priority = _pattern.getPriority(); else _priority = Double.NaN;
_priority = _pattern.getPriority(); else _priority = Double.NaN;
_priority = _pattern.getPriority(); else _priority = Double.NaN;