public class LocalSummaryEdges extends Object
Constructor and Description |
---|
LocalSummaryEdges() |
Modifier and Type | Method and Description |
---|---|
boolean |
contains(int s_p,
int x,
int d1,
int d2)
Does a particular summary edge exist?
|
IntSet |
getInvertedSummaryEdgesForTarget(int s_p,
int x,
int d2)
Note: This is inefficient.
|
IntSet |
getSummaryEdges(int s_p,
int x,
int d1) |
void |
insertSummaryEdge(int s_p,
int x,
int d1,
int d2)
Record a summary edge for the flow d1 -> d2 from an entry s_p to an exit x.
|
public void insertSummaryEdge(int s_p, int x, int d1, int d2)
s_p
- local block number an entryx
- local block number of an exit blockd1
- source dataflow factd2
- target dataflow factpublic boolean contains(int s_p, int x, int d1, int d2)
s_p
- local block number an entryx
- local block number of an exit blockd1
- source dataflow factd2
- target dataflow factpublic IntSet getSummaryEdges(int s_p, int x, int d1)
s_p
- local block number an entryx
- local block number of an exit blockd1
- source dataflow factpublic IntSet getInvertedSummaryEdgesForTarget(int s_p, int x, int d2)
s_p
- local block number an entryx
- local block number of an exit blockd2
- target dataflow fact