Class DataflowSolver<T,​V extends IVariable<V>>

    • Method Detail

      • makeNodeVariable

        protected abstract V makeNodeVariable​(T n,
                                              boolean IN)
        Parameters:
        n - a node
        Returns:
        a fresh variable to represent the lattice value at the IN or OUT of n
      • makeEdgeVariable

        protected abstract V makeEdgeVariable​(T src,
                                              T dst)
      • getOut

        public V getOut​(java.lang.Object node)
      • getIn

        public V getIn​(java.lang.Object node)
      • getEdge

        public V getEdge​(java.lang.Object key)
      • getEdge

        public V getEdge​(java.lang.Object src,
                         java.lang.Object dst)
      • buildEquations

        protected void buildEquations​(boolean toWorkList,
                                      boolean eager)