diff options
author | qadeer <qadeer@microsoft.com> | 2011-08-04 10:24:58 -0700 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2011-08-04 10:24:58 -0700 |
commit | 747d29886f44f0ac63a8262270e7baa467540131 (patch) | |
tree | e81dfd281b9d0033bf332ac4be738a2ab81633b6 /Source/Graph | |
parent | 0ef59a80af0b0a1224f4bf5c8a0cb197f8d3ff12 (diff) |
full port of houdini project
Diffstat (limited to 'Source/Graph')
-rw-r--r-- | Source/Graph/Graph.cs | 5 |
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];
}
|