aboutsummaryrefslogtreecommitdiffstats
path: root/model-data/src/main/java/org/eclipse/viatra/solver/data/model/internal/SymbolRepresentationEquivalenceClass.java
diff options
context:
space:
mode:
Diffstat (limited to 'model-data/src/main/java/org/eclipse/viatra/solver/data/model/internal/SymbolRepresentationEquivalenceClass.java')
-rw-r--r--model-data/src/main/java/org/eclipse/viatra/solver/data/model/internal/SymbolRepresentationEquivalenceClass.java4
1 files changed, 2 insertions, 2 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/internal/SymbolRepresentationEquivalenceClass.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/internal/SymbolRepresentationEquivalenceClass.java
index 5a65deb2..dff464c2 100644
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/internal/SymbolRepresentationEquivalenceClass.java
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/internal/SymbolRepresentationEquivalenceClass.java
@@ -4,14 +4,14 @@ import java.util.Objects;
4 4
5import org.eclipse.viatra.solver.data.map.ContinousHashProvider; 5import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
6import org.eclipse.viatra.solver.data.model.Tuple; 6import org.eclipse.viatra.solver.data.model.Tuple;
7import org.eclipse.viatra.solver.data.model.representation.RelationRepresentation; 7import org.eclipse.viatra.solver.data.model.representation.Relation;
8 8
9public class SymbolRepresentationEquivalenceClass { 9public class SymbolRepresentationEquivalenceClass {
10 final ContinousHashProvider<Tuple> hashProvider; 10 final ContinousHashProvider<Tuple> hashProvider;
11 final Class<?> domainClass; 11 final Class<?> domainClass;
12 final Object defaultValue; 12 final Object defaultValue;
13 final int arity; 13 final int arity;
14 public SymbolRepresentationEquivalenceClass(RelationRepresentation<?> representation) { 14 public SymbolRepresentationEquivalenceClass(Relation<?> representation) {
15 this.hashProvider = representation.getHashProvider(); 15 this.hashProvider = representation.getHashProvider();
16 this.domainClass = representation.getValueClass(); 16 this.domainClass = representation.getValueClass();
17 this.defaultValue = representation.getDefaultValue(); 17 this.defaultValue = representation.getDefaultValue();