Java AbstractDVal Examples

Example #1

File: AbstractDOp.java Project: robertcannon/jldLEMS

 public boolean variablesIn(HashSet<String> known) {
   boolean ret = false;
   if (left.variablesIn(known) && right.variablesIn(known)) {
     ret = true;
   }
   return ret;
 }

Example #2

File: AbstractDOp.java Project: robertcannon/jldLEMS

 public void substituteVariableWith(String var, String sub) {
   left.substituteVariableWith(var, sub);
   right.substituteVariableWith(var, sub);
 }

Example #3

File: AbstractDOp.java Project: robertcannon/jldLEMS

 public void recAdd(ArrayList<DVar> val) {
   left.recAdd(val);
   right.recAdd(val);
 }