diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-01-18 18:23:16 +0100 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-01-18 18:23:16 +0100 |
| commit | 95d7441fcf5839d3ce55bd30ea93c08961fa1c4f (patch) | |
| tree | dd164284fb0ce5094f4afb9a4c2056648f1f0232 /src/core/model/Domain.hpp | |
| parent | 0463affed4d6ca08c0554974130aba83af13efa5 (diff) | |
| parent | a12db04ccf1e2f340a6320353c1ce53eab04aa94 (diff) | |
Merge branch 'master' of somweyr.de:ousia
Diffstat (limited to 'src/core/model/Domain.hpp')
| -rw-r--r-- | src/core/model/Domain.hpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/core/model/Domain.hpp b/src/core/model/Domain.hpp index b192c11..734447e 100644 --- a/src/core/model/Domain.hpp +++ b/src/core/model/Domain.hpp @@ -467,7 +467,11 @@ public: std::vector<Rooted<Node>> pathTo( Handle<StructuredClass> childDescriptor) const; }; - +/* + * TODO: We should discuss Cardinalities one more time. Is it smart to define + * cardinalities independent of context? Should we not have at least have the + * possibility to define it context-dependently? + */ typedef RangeSet<size_t> Cardinality; /** |