public boolean variablesIn(HashSet<String> known) { boolean ret = false; if (left.variablesIn(known) && right.variablesIn(known)) { ret = true; } return ret; }
public void substituteVariableWith(String var, String sub) { left.substituteVariableWith(var, sub); right.substituteVariableWith(var, sub); }
public void recAdd(ArrayList<DVar> val) { left.recAdd(val); right.recAdd(val); }