Searched refs:forcedVars (Results 1 – 2 of 2) sorted by relevance
610 public long process2(VarMap forcedVars) { in process2() argument619 if(forcedVars!=null && forcedVars.size()>0){ in process2()620 for(Var v : forcedVars){ in process2()625 processInput(ff, null, forcedVars, true); in process2()652 assert(forcedVars!=null); in process2()653 if(forcedVars!=null){ in process2()655 Var old=forcedVars.get(v); in process2()661 forcedVars.addUnsynchronized(v); in process2()
1162 let forcedVars | inMakeCase = IntMap.empty function1165 (p, bound) <- patternBindingForcedVars forcedVars u1185 [ "forcedVars =" <+> pretty (IntMap.keys forcedVars)