diff options
Diffstat (limited to 'omegalib/omega_lib/include/omega/reach.h')
| -rw-r--r-- | omegalib/omega_lib/include/omega/reach.h | 23 |
1 files changed, 0 insertions, 23 deletions
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 |