diff options
author | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-07 16:50:35 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-07 16:50:35 +0200 |
commit | e7311dc3c728b18bd1c04fa8f51c9c6f0c042921 (patch) | |
tree | 3f4d479305ee9d168698537221a13638d33550c9 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model | |
parent | attributes and references that not included to a logic problem are (diff) | |
download | VIATRA-Generator-e7311dc3c728b18bd1c04fa8f51c9c6f0c042921.tar.gz VIATRA-Generator-e7311dc3c728b18bd1c04fa8f51c9c6f0c042921.tar.zst VIATRA-Generator-e7311dc3c728b18bd1c04fa8f51c9c6f0c042921.zip |
added String to the logic problem, and representations returns the set
of relevant primitive objects.
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend | 25 |
1 files changed, 21 insertions, 4 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend index a2d30b1b..aa59836c 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend | |||
@@ -10,6 +10,8 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition | |||
10 | import java.util.List | 10 | import java.util.List |
11 | 11 | ||
12 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 12 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
13 | import java.util.SortedSet | ||
14 | import java.math.BigDecimal | ||
13 | 15 | ||
14 | interface LogicModelInterpretation{ | 16 | interface LogicModelInterpretation{ |
15 | 17 | ||
@@ -58,8 +60,19 @@ interface LogicModelInterpretation{ | |||
58 | * @return The value of the constant encoded as specified in the table. | 60 | * @return The value of the constant encoded as specified in the table. |
59 | */ | 61 | */ |
60 | def Object getInterpretation(ConstantDeclaration constant) | 62 | def Object getInterpretation(ConstantDeclaration constant) |
61 | def int getMinimalInteger() | 63 | |
62 | def int getMaximalInteger() | 64 | /** |
65 | * Returns all integers relevant to the logic structure. Not all integer is necessarily used. | ||
66 | */ | ||
67 | def SortedSet<Integer> getAllIntegersInStructure() | ||
68 | /** | ||
69 | * Returns all real numbers relevant to the logic structure. Not all integer is necessarily used. | ||
70 | */ | ||
71 | def SortedSet<BigDecimal> getAllRealsInStructure() | ||
72 | /** | ||
73 | * Returns all string values relevant to the logic structure. Not all integer is necessarily used. | ||
74 | */ | ||
75 | def SortedSet<String> getAllStringsInStructure() | ||
63 | } | 76 | } |
64 | 77 | ||
65 | class Uninterpreted implements LogicModelInterpretation { | 78 | class Uninterpreted implements LogicModelInterpretation { |
@@ -92,11 +105,15 @@ class Uninterpreted implements LogicModelInterpretation { | |||
92 | throw new UnsupportedOperationException("The interpteration is unknown.") | 105 | throw new UnsupportedOperationException("The interpteration is unknown.") |
93 | } | 106 | } |
94 | 107 | ||
95 | override getMinimalInteger() { | 108 | override getAllIntegersInStructure() { |
109 | throw new UnsupportedOperationException("The interpteration is unknown.") | ||
110 | } | ||
111 | |||
112 | override getAllRealsInStructure() { | ||
96 | throw new UnsupportedOperationException("The interpteration is unknown.") | 113 | throw new UnsupportedOperationException("The interpteration is unknown.") |
97 | } | 114 | } |
98 | 115 | ||
99 | override getMaximalInteger() { | 116 | override getAllStringsInStructure() { |
100 | throw new UnsupportedOperationException("The interpteration is unknown.") | 117 | throw new UnsupportedOperationException("The interpteration is unknown.") |
101 | } | 118 | } |
102 | } \ No newline at end of file | 119 | } \ No newline at end of file |