Class BoundedTabulationSolver<T,​P,​F>

  • Type Parameters:
    T - type of node in the supergraph
    P - type of a procedure (like a box in an RSM)
    F - type of factoids propagated when solving this problem

    public class BoundedTabulationSolver<T,​P,​F>
    extends TabulationSolver<T,​P,​F>
    A TabulationSolver that gives up after a finite bound.
    • Method Detail

      • propagate

        protected boolean propagate​(T s_p,
                                    int i,
                                    T n,
                                    int j)
        Description copied from class: TabulationSolver
        Propagate the fact -> has arisen as a path edge. Returns true iff the path edge was not previously observed.
        Overrides:
        propagate in class TabulationSolver<T,​P,​F>
        Parameters:
        s_p - entry block
        i - dataflow fact on entry
        n - reached block
        j - dataflow fact reached
      • getNumSteps

        public int getNumSteps()
      • resetBound

        public void resetBound()