protected static class CFGBuilder.EdgeKeyTermPair
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
FlowGraph.EdgeKey |
edgeKey |
int |
entry |
Term |
term |
Constructor and Description |
---|
CFGBuilder.EdgeKeyTermPair(FlowGraph.EdgeKey edgeKey,
Term term,
int entry) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
public final FlowGraph.EdgeKey edgeKey
public final Term term
public final int entry
public CFGBuilder.EdgeKeyTermPair(FlowGraph.EdgeKey edgeKey, Term term, int entry)