From 2fce43d484e4148ae858f410d51dcd9951d34374 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Sun, 18 Sep 2016 15:45:13 +0000
Subject: remove include & rename

---
 omegalib/omega_lib/include/omega/reach.h | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 omegalib/omega_lib/include/omega/reach.h

(limited to 'omegalib/omega_lib/include/omega/reach.h')

diff --git a/omegalib/omega_lib/include/omega/reach.h b/omegalib/omega_lib/include/omega/reach.h
deleted file mode 100644
index ff4bf79..0000000
--- a/omegalib/omega_lib/include/omega/reach.h
+++ /dev/null
@@ -1,23 +0,0 @@
-#if ! defined _reach_h
-#define _reach_h 1
-
-namespace omega {
-
-class reachable_information {
-public:
-	Tuple<std::string> node_names;
-	Tuple<int> node_arity;
-	Dynamic_Array1<Relation> start_nodes;
-	Dynamic_Array2<Relation> transitions;
-};
-
-
-Dynamic_Array1<Relation> *
-Reachable_Nodes(reachable_information * reachable_info);
-
-Dynamic_Array1<Relation> *
-I_Reachable_Nodes(reachable_information * reachable_info);
-
-} // namespace
-
-#endif
-- 
cgit v1.2.3-70-g09d2