Interface RefinementPolicy

    • Method Detail

      • getNumPasses

        int getNumPasses()
        Returns:
        the maximum number of refinement iterations for the query
      • getBudgetForPass

        int getBudgetForPass​(int passNum)
        Parameters:
        passNum -
        Returns:
        the maximum number of nodes to traverse in pass passNum
      • getFieldRefinePolicy

        FieldRefinePolicy getFieldRefinePolicy()
        Returns:
        the field refinement policy
      • getCallGraphRefinePolicy

        CallGraphRefinePolicy getCallGraphRefinePolicy()
        Returns:
        the call graph refinement policy
      • nextPass

        boolean nextPass()
        Returns:
        true if more refinement can be done, and hence another pass can be attempted; false otherwise