public void substituteForAll(Vector exprs,Vector strs) throws TLAExprException {
  substituteForAll(exprs,strs,true);
}

public void substituteForAll ( Vector exprs , Vector strs ) throws TLAExprException { substituteForAll ( exprs , strs , true ) ; }
substitutes clones of the expressions in exprs for the corresponding strings of strs in the current expression . this is called with parenthesize = true only during the initial parsing phase ( the execution of parsealgorithm . getalgorithm ) . it is called with parenthesize = false by : pcalfixids . fixexpr : replaces the string of an ident token with a new one to perform renaming in case of name conflicts . pcaltlagen . addsubscriptstoexpr : adds the primes and " [ self ] " subscripts to variables when needed . this method was modified by ll on 10 august 2012 to do the substitutions " simultaneously " rather than one after the other . the original code first did all the substitutions for the first string , then all the substitutions for the second string , etc . this yielded a bug if the expression substituted for the first string contained the second string . for example , the substitutions a < - f ( b ) , b < - c in a + b produced f ( c ) + c instead of the correct f ( b ) + c .
