Class VarFinder


  • public class VarFinder
    extends java.lang.Object
    • Method Detail

      • optDefined

        public static java.util.Set<Var> optDefined​(Op op)
      • fixed

        public static java.util.Set<Var> fixed​(Op op)
      • filter

        public static java.util.Set<Var> filter​(Op op)
      • assignMention

        public static java.util.Set<Var> assignMention​(Op op)
      • getOpt

        public java.util.Set<Var> getOpt()
      • getFilter

        public java.util.Set<Var> getFilter()
      • getFilterOnly

        public java.util.Set<Var> getFilterOnly()
      • getAssign

        public java.util.Set<Var> getAssign()
      • getFixed

        public java.util.Set<Var> getFixed()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • print

        public void print​(java.io.PrintStream out)