summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Peter Collingbourne <peter@pcc.me.uk>2012-07-11 19:03:58 +0100
committerGravatar Peter Collingbourne <peter@pcc.me.uk>2012-07-11 19:03:58 +0100
commit8ea7cfda6b3fdb522fef0600166899f96d1b91b8 (patch)
tree305db6813c4ad22ed455a484a70560568903fe70
parentdb5c7fc7eacfcdc2e9ffabfd1c0c451b0ca6561d (diff)
Graph: make DomRelation and DominatorMap public
-rw-r--r--Source/Graph/Graph.cs4
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) {