diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 02:25:19 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 02:25:19 +0200 |
| commit | 9280c0b646cd446251a1c8e16d1a05eff662bd47 (patch) | |
| tree | 1170e4082fafc04c943dba8e266ae18ce5ee96a4 | |
| parent | Object is recursively instantiated if it has no subtype alternative (diff) | |
| download | VIATRA-Generator-9280c0b646cd446251a1c8e16d1a05eff662bd47.tar.gz VIATRA-Generator-9280c0b646cd446251a1c8e16d1a05eff662bd47.tar.zst VIATRA-Generator-9280c0b646cd446251a1c8e16d1a05eff662bd47.zip | |
removed potential equivalence between real values and integers
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend index 219f99e9..d92f2e30 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |||
| @@ -242,30 +242,6 @@ class PatternGenerator { | |||
| 242 | } or { | 242 | } or { |
| 243 | find mayExist(problem,interpretation,a); | 243 | find mayExist(problem,interpretation,a); |
| 244 | find mayExist(problem,interpretation,b); | 244 | find mayExist(problem,interpretation,b); |
| 245 | RealElement(a); | ||
| 246 | IntegerElement(b); | ||
| 247 | PrimitiveElement.valueSet(a,false); | ||
| 248 | } or { | ||
| 249 | find mayExist(problem,interpretation,a); | ||
| 250 | find mayExist(problem,interpretation,b); | ||
| 251 | RealElement(a); | ||
| 252 | IntegerElement(b); | ||
| 253 | PrimitiveElement.valueSet(b,false); | ||
| 254 | } or { | ||
| 255 | find mayExist(problem,interpretation,a); | ||
| 256 | find mayExist(problem,interpretation,b); | ||
| 257 | IntegerElement(a); | ||
| 258 | RealElement(b); | ||
| 259 | PrimitiveElement.valueSet(a,false); | ||
| 260 | } or { | ||
| 261 | find mayExist(problem,interpretation,a); | ||
| 262 | find mayExist(problem,interpretation,b); | ||
| 263 | IntegerElement(a); | ||
| 264 | RealElement(b); | ||
| 265 | PrimitiveElement.valueSet(b,false); | ||
| 266 | } or { | ||
| 267 | find mayExist(problem,interpretation,a); | ||
| 268 | find mayExist(problem,interpretation,b); | ||
| 269 | StringElement(a); | 245 | StringElement(a); |
| 270 | StringElement(b); | 246 | StringElement(b); |
| 271 | PrimitiveElement.valueSet(a,false); | 247 | PrimitiveElement.valueSet(a,false); |
| @@ -301,20 +277,6 @@ class PatternGenerator { | |||
| 301 | find mustExist(problem,interpretation,b); | 277 | find mustExist(problem,interpretation,b); |
| 302 | PrimitiveElement.valueSet(a,true); | 278 | PrimitiveElement.valueSet(a,true); |
| 303 | PrimitiveElement.valueSet(b,true); | 279 | PrimitiveElement.valueSet(b,true); |
| 304 | RealElement.value(a,value); | ||
| 305 | IntegerElement.value(b,value); | ||
| 306 | } or { | ||
| 307 | find mustExist(problem,interpretation,a); | ||
| 308 | find mustExist(problem,interpretation,b); | ||
| 309 | PrimitiveElement.valueSet(a,true); | ||
| 310 | PrimitiveElement.valueSet(b,true); | ||
| 311 | IntegerElement.value(a,value); | ||
| 312 | RealElement.value(b,value); | ||
| 313 | } or { | ||
| 314 | find mustExist(problem,interpretation,a); | ||
| 315 | find mustExist(problem,interpretation,b); | ||
| 316 | PrimitiveElement.valueSet(a,true); | ||
| 317 | PrimitiveElement.valueSet(b,true); | ||
| 318 | StringElement.value(a,value); | 280 | StringElement.value(a,value); |
| 319 | StringElement.value(b,value); | 281 | StringElement.value(b,value); |
| 320 | } | 282 | } |