diff options
author | OszkarSemerath <semerath@mit.bme.hu> | 2021-08-01 22:46:23 +0200 |
---|---|---|
committer | OszkarSemerath <semerath@mit.bme.hu> | 2021-08-01 22:46:23 +0200 |
commit | 5691d60054c7571647997abae80ae91c19d45e4a (patch) | |
tree | df651131a0e05cc30086bd02edfe6a3d5d3a86ce /model-data | |
parent | KEY,VALUE replaced with K,V to please Sonar (diff) | |
download | refinery-5691d60054c7571647997abae80ae91c19d45e4a.tar.gz refinery-5691d60054c7571647997abae80ae91c19d45e4a.tar.zst refinery-5691d60054c7571647997abae80ae91c19d45e4a.zip |
Model representation is outdated.
Diffstat (limited to 'model-data')
11 files changed, 0 insertions, 107 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/BooleanValue.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/BooleanValue.java deleted file mode 100644 index 7b0e565b..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/BooleanValue.java +++ /dev/null | |||
@@ -1,17 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | public class BooleanValue implements TruthValue { | ||
4 | private final boolean value; | ||
5 | protected BooleanValue(final boolean value) { | ||
6 | this.value = value; | ||
7 | } | ||
8 | public static final BooleanValue trueValue = new BooleanValue(true); | ||
9 | public static final BooleanValue falseValue = new BooleanValue(false); | ||
10 | |||
11 | @Override | ||
12 | public String getName() { | ||
13 | // TODO Auto-generated method stub | ||
14 | return Boolean.toString(value); | ||
15 | } | ||
16 | |||
17 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/DataSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/DataSymbol.java deleted file mode 100644 index 74624db6..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/DataSymbol.java +++ /dev/null | |||
@@ -1,5 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | public class DataSymbol { | ||
4 | |||
5 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java deleted file mode 100644 index 40d01721..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java +++ /dev/null | |||
@@ -1,11 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | public class DefinedSymbol extends Symbol { | ||
4 | private final String name; | ||
5 | public DefinedSymbol(String name) { | ||
6 | this.name = name; | ||
7 | } | ||
8 | public String getName() { | ||
9 | return name; | ||
10 | } | ||
11 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic2Valued.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic2Valued.java deleted file mode 100644 index 7a807155..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic2Valued.java +++ /dev/null | |||
@@ -1,9 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | public class Logic2Valued { | ||
4 | protected static final String trueName = "true"; | ||
5 | protected static final String falseName = "false"; | ||
6 | |||
7 | public static final TruthValue trueValue = new NamedTruthValue(trueName); | ||
8 | public static final TruthValue falseValue = new NamedTruthValue(falseName); | ||
9 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic4Valued.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic4Valued.java deleted file mode 100644 index 5f1e2bd8..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic4Valued.java +++ /dev/null | |||
@@ -1,22 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | public class Logic4Valued extends Logic2Valued { | ||
4 | protected static final String unknownName = "unknown"; | ||
5 | protected static final String errorName = "error"; | ||
6 | |||
7 | public static final TruthValue unknownValue = new NamedTruthValue(unknownName); | ||
8 | public static final TruthValue errorValue = new NamedTruthValue(errorName); | ||
9 | |||
10 | // public TruthValue getImplMin(TruthValue a, TruthValue b) { | ||
11 | // | ||
12 | // } | ||
13 | // public TruthValue getImplMax(TruthValue a, TruthValue b) { | ||
14 | // | ||
15 | // } | ||
16 | // public TruthValue getInfoMin(TruthValue a, TruthValue b) { | ||
17 | // | ||
18 | // } | ||
19 | // public TruthValue getInfoMax(TruthValue a, TruthValue b) { | ||
20 | // | ||
21 | // } | ||
22 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java deleted file mode 100644 index 6f5c58ce..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java +++ /dev/null | |||
@@ -1,10 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | import java.util.List; | ||
4 | import java.util.Map; | ||
5 | import java.util.Set; | ||
6 | |||
7 | public class Model { | ||
8 | Set<ModelObject> objects; | ||
9 | Map<String,Map<List<ModelObject>,TruthValue>> interpretation; | ||
10 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/ModelObject.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/ModelObject.java deleted file mode 100644 index 73607f82..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/ModelObject.java +++ /dev/null | |||
@@ -1,5 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | public class ModelObject { | ||
4 | |||
5 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java deleted file mode 100644 index be3a2351..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java +++ /dev/null | |||
@@ -1,13 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | public class NamedTruthValue implements TruthValue { | ||
4 | private final String name; | ||
5 | public NamedTruthValue(String name) { | ||
6 | this.name = name; | ||
7 | } | ||
8 | @Override | ||
9 | public String getName() { | ||
10 | return this.name; | ||
11 | } | ||
12 | |||
13 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/PrimitiveSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/PrimitiveSymbol.java deleted file mode 100644 index 6bf0b195..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/PrimitiveSymbol.java +++ /dev/null | |||
@@ -1,5 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | public class PrimitiveSymbol { | ||
4 | |||
5 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/Symbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/Symbol.java deleted file mode 100644 index d403e181..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/Symbol.java +++ /dev/null | |||
@@ -1,5 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | public class Symbol { | ||
4 | |||
5 | } | ||
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/TruthValue.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/TruthValue.java deleted file mode 100644 index 5dbde11c..00000000 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/TruthValue.java +++ /dev/null | |||
@@ -1,5 +0,0 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | interface TruthValue { | ||
4 | public String getName(); | ||
5 | } | ||