Class ExprVars


  • public class ExprVars
    extends java.lang.Object
    • Constructor Detail

      • ExprVars

        public ExprVars()
    • Method Detail

      • getVarsMentioned

        public static java.util.Set<Var> getVarsMentioned​(Expr expr)
      • getNonOpVarsMentioned

        public static java.util.Set<Var> getNonOpVarsMentioned​(Expr expr)
      • varsMentioned

        public static void varsMentioned​(java.util.Collection<Var> acc,
                                         Expr expr)
      • nonOpVarsMentioned

        public static void nonOpVarsMentioned​(java.util.Collection<Var> acc,
                                              Expr expr)
      • getVarsMentioned

        public static java.util.Set<Var> getVarsMentioned​(ExprList exprs)
      • varsMentioned

        public static void varsMentioned​(java.util.Collection<Var> acc,
                                         ExprList exprs)
      • getNonOpVarsMentioned

        public static java.util.Set<Var> getNonOpVarsMentioned​(ExprList exprs)
      • nonOpVarsMentioned

        public static void nonOpVarsMentioned​(java.util.Collection<Var> acc,
                                              ExprList exprs)
      • getVarNamesMentioned

        public static java.util.Set<java.lang.String> getVarNamesMentioned​(Expr expr)
      • getNonOpVarNamesMentioned

        public static java.util.Set<java.lang.String> getNonOpVarNamesMentioned​(Expr expr)
      • varNamesMentioned

        public static void varNamesMentioned​(java.util.Collection<java.lang.String> acc,
                                             Expr expr)
      • nonOpVarNamesMentioned

        public static void nonOpVarNamesMentioned​(java.util.Collection<java.lang.String> acc,
                                                  Expr expr)
      • getVarsMentioned

        public static java.util.Set<Var> getVarsMentioned​(SortCondition sortCondition)
      • getVarsMentioned

        public static java.util.Set<Var> getVarsMentioned​(java.util.Collection<SortCondition> sortConditions)
      • varsMentioned

        public static void varsMentioned​(java.util.Collection<Var> acc,
                                         SortCondition sortCondition)
      • varsMentioned

        public static void varsMentioned​(java.util.Collection<Var> acc,
                                         java.util.Collection<SortCondition> sortConditions)