diff options
| author | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-02-11 17:55:04 +0100 |
|---|---|---|
| committer | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-02-11 17:55:04 +0100 |
| commit | 7daed2f8431e89e2bd041a54bc1bef8c45329092 (patch) | |
| tree | 0e252862dcb2b1e24eaf8886020d597dd1233cb1 /src/core/model/Domain.hpp | |
| parent | 2f75ac166594b6bc2ea30901669304eca23174ec (diff) | |
improved pathto
Diffstat (limited to 'src/core/model/Domain.hpp')
| -rw-r--r-- | src/core/model/Domain.hpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/core/model/Domain.hpp b/src/core/model/Domain.hpp index 43661c2..57e5602 100644 --- a/src/core/model/Domain.hpp +++ b/src/core/model/Domain.hpp @@ -589,8 +589,7 @@ public: * no such path can be constructed. * */ - std::vector<Rooted<Node>> pathTo( - Handle<StructuredClass> childDescriptor) const; + NodeVector<Node> pathTo(Handle<StructuredClass> childDescriptor) const; }; /* * TODO: We should discuss Cardinalities one more time. Is it smart to define |