diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-07-02 23:33:40 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-07-02 23:33:40 +0200 |
commit | 487c4280fd8e764960ef9d2848b94fa67927c67a (patch) | |
tree | 3dae1b75129280e25ff94fd291b4326688677b5e /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker | |
parent | Logic interpretation -> standard EMF instance model (diff) | |
download | VIATRA-Generator-487c4280fd8e764960ef9d2848b94fa67927c67a.tar.gz VIATRA-Generator-487c4280fd8e764960ef9d2848b94fa67927c67a.tar.zst VIATRA-Generator-487c4280fd8e764960ef9d2848b94fa67927c67a.zip |
Multiple model with interpretations
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend index abb05e83..9148424c 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend | |||
@@ -69,7 +69,7 @@ class TypeConsistencyChecker extends LogicReasoner{ | |||
69 | } | 69 | } |
70 | } | 70 | } |
71 | 71 | ||
72 | override getInterpretation(ModelResult modelResult) { | 72 | override getInterpretations(ModelResult modelResult) { |
73 | throw new UnsupportedOperationException('''This solver is unable to create interpretations!''') | 73 | throw new UnsupportedOperationException('''This solver is unable to create interpretations!''') |
74 | } | 74 | } |
75 | } \ No newline at end of file | 75 | } \ No newline at end of file |