diff options
author | 2017-08-16 15:19:47 +0200 | |
---|---|---|
committer | 2017-08-16 15:19:47 +0200 | |
commit | e0a3073dd0b3b78d1421cc200567618f99a8206c (patch) | |
tree | 2c7cfcfe55d35d9973fbc25acdf3705725bc4352 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend | |
parent | Added known primitives to the scope (diff) | |
download | VIATRA-Generator-e0a3073dd0b3b78d1421cc200567618f99a8206c.tar.gz VIATRA-Generator-e0a3073dd0b3b78d1421cc200567618f99a8206c.tar.zst VIATRA-Generator-e0a3073dd0b3b78d1421cc200567618f99a8206c.zip |
Alloy mapping of integer scopes
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend index d00291e0..53674ca3 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/AlloyModelInterpretation.xtend | |||
@@ -286,10 +286,7 @@ class AlloyModelInterpretation implements LogicModelInterpretation{ | |||
286 | override getInterpretation(ConstantDeclaration constant) { | 286 | override getInterpretation(ConstantDeclaration constant) { |
287 | constant.lookup(this.constant2Value) | 287 | constant.lookup(this.constant2Value) |
288 | } | 288 | } |
289 | 289 | ||
290 | override getMinimalInteger() { this.minInt } | ||
291 | override getMaximalInteger() { this.maxInt } | ||
292 | |||
293 | // Alloy term -> logic term | 290 | // Alloy term -> logic term |
294 | def private atomLabel2Term(String label) { | 291 | def private atomLabel2Term(String label) { |
295 | if(label.number) return Integer.parseInt(label) | 292 | if(label.number) return Integer.parseInt(label) |
@@ -306,6 +303,19 @@ class AlloyModelInterpretation implements LogicModelInterpretation{ | |||
306 | return false | 303 | return false |
307 | } | 304 | } |
308 | } | 305 | } |
306 | |||
307 | override getAllIntegersInStructure() { | ||
308 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
309 | } | ||
310 | |||
311 | override getAllRealsInStructure() { | ||
312 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
313 | } | ||
314 | |||
315 | override getAllStringsInStructure() { | ||
316 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | ||
317 | } | ||
318 | |||
309 | } | 319 | } |
310 | 320 | ||
311 | /** | 321 | /** |