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 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns | |
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
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns')
-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 | } |