/** returns all GeoElement objects in the both coordinate subtrees */ public HashSet getVariables() { HashSet temp, varset = x.getVariables(); if (varset == null) varset = new HashSet(); temp = y.getVariables(); if (temp != null) varset.addAll(temp); temp = z.getVariables(); if (temp != null) varset.addAll(temp); return varset; }