blob: ff4bf79ce5b72ca7d6efd459f46fceaeba5727f6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#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
|
