diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-18 15:16:52 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-18 15:16:52 -0600 |
| commit | 18644419b50b2b14a24456e0fcdb210f231ee317 (patch) | |
| tree | 3d2a57050ae93ee0ceb71df319b1533480a4001d /omegalib/omega/include/omega | |
| parent | 2fce43d484e4148ae858f410d51dcd9951d34374 (diff) | |
| download | chill-18644419b50b2b14a24456e0fcdb210f231ee317.tar.gz chill-18644419b50b2b14a24456e0fcdb210f231ee317.tar.bz2 chill-18644419b50b2b14a24456e0fcdb210f231ee317.zip | |
doc updated for code_gen
Diffstat (limited to 'omegalib/omega/include/omega')
| -rw-r--r-- | omegalib/omega/include/omega/reach.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/omegalib/omega/include/omega/reach.h b/omegalib/omega/include/omega/reach.h index ff4bf79..76d7dee 100644 --- a/omegalib/omega/include/omega/reach.h +++ b/omegalib/omega/include/omega/reach.h @@ -7,15 +7,15 @@ class reachable_information { public: Tuple<std::string> node_names; Tuple<int> node_arity; - Dynamic_Array1<Relation> start_nodes; - Dynamic_Array2<Relation> transitions; + DynamicArray1<Relation> start_nodes; + DynamicArray2<Relation> transitions; }; -Dynamic_Array1<Relation> * +DynamicArray1<Relation> * Reachable_Nodes(reachable_information * reachable_info); -Dynamic_Array1<Relation> * +DynamicArray1<Relation> * I_Reachable_Nodes(reachable_information * reachable_info); } // namespace |