Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-engine / src / edu / tamu / aser / mcr / graph / testReachability.java

diff --git a/JMCR-Stable/mcr-engine/src/edu/tamu/aser/mcr/graph/testReachability.java b/JMCR-Stable/mcr-engine/src/edu/tamu/aser/mcr/graph/testReachability.java
new file mode 100755 (executable)
index 0000000..fd04ae7
--- /dev/null
+++ b/JMCR-Stable/mcr-engine/src/edu/tamu/aser/mcr/graph/testReachability.java
@@ -0,0 +1,19 @@
+package edu.tamu.aser.mcr.graph;
+
+public class testReachability {
+
+       public static void main(String[] args) {
+               // TODO Auto-generated method stub
+               ReachabilityEngine engine = new ReachabilityEngine();
+//             int n1 = 1;
+//             int n2 = 2;
+               engine.addEdge(1, 2);
+               engine.addEdge(2, 3);
+               if (engine.canReach(1, 3))
+                       System.out.println("wrong");
+               
+               if (engine.canReach(2, 3))
+                       System.out.println("wrong");
+       }
+
+}