diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-07-11 19:03:58 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-07-11 19:03:58 +0100 |
| commit | 8ea7cfda6b3fdb522fef0600166899f96d1b91b8 (patch) | |
| tree | 305db6813c4ad22ed455a484a70560568903fe70 /Source/Graph | |
| parent | db5c7fc7eacfcdc2e9ffabfd1c0c451b0ca6561d (diff) | |
Graph: make DomRelation and DominatorMap public
Diffstat (limited to 'Source/Graph')
| -rw-r--r-- | Source/Graph/Graph.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Graph/Graph.cs b/Source/Graph/Graph.cs index b5590865..654360f4 100644 --- a/Source/Graph/Graph.cs +++ b/Source/Graph/Graph.cs @@ -64,7 +64,7 @@ namespace Graphing { }
}
- internal class DomRelation<Node> {
+ public class DomRelation<Node> {
// doms maps (unique) node numbers to the node numbers of the immediate dominator
// to use it on Nodes, one needs the two way mapping between nodes and their numbers.
private int[] doms; // 0 is unused: means undefined
@@ -486,7 +486,7 @@ namespace Graphing { return ret;
}
- internal DomRelation<Node> /*Map<Node,Set<Node>>*/ DominatorMap {
+ public DomRelation<Node> /*Map<Node,Set<Node>>*/ DominatorMap {
get {
Contract.Assert(source != null);
if (this.dominatorMap == null) {
|