diff options
author | OszkarSemerath <semerath@mit.bme.hu> | 2021-08-15 23:21:44 +0200 |
---|---|---|
committer | OszkarSemerath <semerath@mit.bme.hu> | 2021-08-15 23:21:44 +0200 |
commit | f591f9813764eced466b8f17011a061f0010df64 (patch) | |
tree | a4ef1ed98398625678ba66300f044590aa1256b3 /model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java | |
parent | Initial commit of query integration, adapting the work of Attila Ficsor (diff) | |
download | refinery-f591f9813764eced466b8f17011a061f0010df64.tar.gz refinery-f591f9813764eced466b8f17011a061f0010df64.tar.zst refinery-f591f9813764eced466b8f17011a061f0010df64.zip |
Renamed RelationRepresentation to Relation
Diffstat (limited to 'model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java')
-rw-r--r-- | model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java new file mode 100644 index 00000000..05715027 --- /dev/null +++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java | |||
@@ -0,0 +1,23 @@ | |||
1 | package org.eclipse.viatra.solver.data.model.representation; | ||
2 | |||
3 | import org.eclipse.viatra.solver.data.map.ContinousHashProvider; | ||
4 | |||
5 | public class AuxilaryData<K,V> extends DataRepresentation<K, V> { | ||
6 | private final String name; | ||
7 | |||
8 | public AuxilaryData(String name, Class<K> keyClass, ContinousHashProvider<K> hashProvider, Class<V> valueClass, | ||
9 | V defaultValue) { | ||
10 | super(keyClass, hashProvider, valueClass, defaultValue); | ||
11 | this.name = name; | ||
12 | } | ||
13 | |||
14 | @Override | ||
15 | public String getName() { | ||
16 | return name; | ||
17 | } | ||
18 | |||
19 | @Override | ||
20 | public boolean isValidKey(K key) { | ||
21 | return true; | ||
22 | } | ||
23 | } | ||