@Override public Set<Var> getVarsMentioned() { Set<Var> result = ExprVars.getVarsMentioned(expr); return result; } }
public static void varsMentioned(Collection<Var> acc, Collection<SortCondition> sortConditions) { for (SortCondition sc : sortConditions ) varsMentioned(acc, sc) ; }
/** @deprecated Use {@link ExprVars#getVarNamesMentioned} */ @Deprecated public Set<String> getVarNamesMentioned() { return ExprVars.getVarNamesMentioned(this) ; }
public static Set<Var> getNonOpVarsMentioned(ExprList exprs) { Set<Var> acc = new HashSet<>(); nonOpVarsMentioned(acc, exprs); return acc; }
public static Set<String> getNonOpVarNamesMentioned(Expr expr) { Set<String> acc = new HashSet<>() ; nonOpVarNamesMentioned(acc, expr) ; return acc ; }
public static Set<Var> getNonOpVarsMentioned(Expr expr) { Set<Var> acc = new HashSet<>(); nonOpVarsMentioned(acc, expr); return acc; }
@Override public final Set<Var> getVarsMentioned() { return ExprVars.getVarsMentioned(this) ; } @Override
@Override public final void varsMentioned(Collection<Var> acc) { ExprVars.varsMentioned(acc, this) ; }
private void processAssignVarExprList(VarExprList varExprList) { varExprList.forEachVarExpr((v,e)-> { defines.add(v) ; // Expression may eval to error -> unset? if ( e != null ) ExprVars.nonOpVarsMentioned(assignMentions, e); }) ; }
public static void validateConstraintExpr(Expr expr) { Set<Var> exprVars = ExprVars.getVarsMentioned(expr); boolean isValid = Vars.gspo.containsAll(exprVars); if(!isValid) { throw new RuntimeException("Constraint expressions may only use the variables g, s, p, and o"); } }
public static Set<Var> getVarsMentioned(Collection<SortCondition> sortConditions) { Set<Var> acc = new HashSet<>() ; varsMentioned(acc, sortConditions) ; return acc ; }
public static void nonOpVarsMentioned(Collection<Var> acc, ExprList exprs) { exprs.forEach(e->nonOpVarsMentioned(acc, e)); }
private void processExpr(ExprList exprs, Set<Var> additionalDefines) { Set<Var> vars = ExprVars.getVarsMentioned(exprs); filterMentions.addAll(vars) ; for ( Var v : vars ) { if ( ! defines.contains(v) && (additionalDefines == null || ! additionalDefines.contains(v) ) ) filterMentionsOnly.add(v) ; } }
public static Set<Var> getVarsMentioned(SortCondition sortCondition) { Set<Var> acc = new HashSet<>(); varsMentioned(acc, sortCondition); return acc; }
ExprVars.nonOpVarsMentioned(vars, expr);
public Multimap<Var, Expr> indexExprsByVar(Set<Expr> exprs) { Multimap<Var, Expr> result = HashMultimap.create(); for(Expr expr : exprs) { Set<Var> exprVars = ExprVars.getVarsMentioned(expr); if(exprVars.size() == 1) { Var var = Iterables.getFirst(exprVars, null); result.put(var, expr); } } return result; }
public static Set<Var> getVarsMentioned(Expr expr) { Set<Var> acc = new HashSet<>(); varsMentioned(acc, expr); return acc; }
ExprVars.nonOpVarsMentioned(vars, currExpr);
@Override public Collection<Var> getSourceNeighbourhood() { Set<Var> result = as.stream() .flatMap(expr -> ExprVars.getVarsMentioned(expr).stream()) .collect(Collectors.toSet()); return result; }
/** @deprecated Use {@link ExprVars#varsMentioned(Collection, ExprList)} */ @Deprecated public void varsMentioned(Collection<Var> acc) { for (Expr expr : expressions) ExprVars.varsMentioned(acc, expr); }