Interface IKilldallFramework<T,​V extends IVariable<V>>

  • Type Parameters:
    T - type of nodes in the graph
    All Known Implementing Classes:
    BasicFramework, BitVectorFramework

    public interface IKilldallFramework<T,​V extends IVariable<V>>
    A dataflow framework in the style of Kildall, POPL 73 This represents a dataflow problem induced over a graph.
    • Method Detail

      • getFlowGraph

        Graph<T> getFlowGraph()
        Returns:
        the flow graph which induces this dataflow problem
      • getTransferFunctionProvider

        ITransferFunctionProvider<T,​V> getTransferFunctionProvider()
        Returns:
        an object which provides the flow function for each node in the graph