private Set<Var> fixedVars(Op op) { return OpVars.fixedVars(op) ; }
/** The set of variables that will be in every solution of this Op */ public static Set<Var> fixedVars(Op op) { Set<Var> acc = collector() ; fixedVars(op, acc) ; return acc ; }
private static void fixed(String string, String... vars) { Op op = SSE.parseOp(string) ; Collection<Var> c = OpVars.fixedVars(op) ; check(vars, c) ; }
Set<Var> subVars = OpVars.fixedVars(subOp) ; subVars.addAll(input.getVarExprList().getVars()) ;
Set<Var> fixedVars = OpVars.fixedVars(op); for (Pair<Var, Var> pair : joins) { if (fixedVars.contains(pair.getLeft()) && !fixedVars.contains(pair.getRight())) return false;
Set<Var> fixedVars = OpVars.fixedVars(op); for (Pair<Var, Var> pair : joins) { if (fixedVars.contains(pair.getLeft()) && !fixedVars.contains(pair.getRight())) return false;