summaryrefslogtreecommitdiff
path: root/Source/Graph
diff options
context:
space:
mode:
authorGravatar qadeer <qadeer@microsoft.com>2011-08-04 10:24:58 -0700
committerGravatar qadeer <qadeer@microsoft.com>2011-08-04 10:24:58 -0700
commit747d29886f44f0ac63a8262270e7baa467540131 (patch)
treee81dfd281b9d0033bf332ac4be738a2ab81633b6 /Source/Graph
parent0ef59a80af0b0a1224f4bf5c8a0cb197f8d3ff12 (diff)
full port of houdini project
Diffstat (limited to 'Source/Graph')
-rw-r--r--Source/Graph/Graph.cs5
1 files changed, 2 insertions, 3 deletions
diff --git a/Source/Graph/Graph.cs b/Source/Graph/Graph.cs
index 99df97cd..21336545 100644
--- a/Source/Graph/Graph.cs
+++ b/Source/Graph/Graph.cs
@@ -344,7 +344,6 @@ namespace Graphing {
Contract.Invariant(naturalLoops == null || Contract.ForAll(naturalLoops.Keys, p => p.Item2 != null && p.Item1 != null));
}
-
private class PreHeader {
Node/*!*/ myHeader;
[ContractInvariantMethod]
@@ -464,7 +463,7 @@ namespace Graphing {
}
}
- internal IEnumerable<Node> Predecessors(Node n) {
+ public IEnumerable<Node> Predecessors(Node n) {
// original A#
//Set<Node> result = Set{ x : x in Nodes, Edge(x,n) };
@@ -472,7 +471,7 @@ namespace Graphing {
return predCache[n];
}
- internal IEnumerable<Node> Successors(Node n) {
+ public IEnumerable<Node> Successors(Node n) {
ComputePredSuccCaches();
return succCache[n];
}