T
- type of node in the graphV
- type of abstract states computedpublic interface ITransferFunctionProvider<T,V extends IVariable>
DataflowSolver
builds system over graphs, with dataflow transfer
functions on the nodes, the edges or both. In any case, it takes an
ITransferFunctionProvider
to tell it what functions to use.Modifier and Type | Method and Description |
---|---|
UnaryOperator<V> |
getEdgeTransferFunction(T src,
T dst) |
AbstractMeetOperator<V> |
getMeetOperator()
TODO: perhaps this should go with a Lattice object instead.
|
UnaryOperator<V> |
getNodeTransferFunction(T node) |
boolean |
hasEdgeTransferFunctions() |
boolean |
hasNodeTransferFunctions() |
UnaryOperator<V> getNodeTransferFunction(T node)
boolean hasNodeTransferFunctions()
UnaryOperator<V> getEdgeTransferFunction(T src, T dst)
boolean hasEdgeTransferFunctions()
AbstractMeetOperator<V> getMeetOperator()