diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-04-04 14:43:17 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:36:03 -0400 |
commit | 844c46e8a3620c7fae26f87e148643b32480dced (patch) | |
tree | 9252d89ef05bd9f4e5aafc9575155ebb3ee59211 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java | |
parent | Add to containment, add notObject case. (diff) | |
download | VIATRA-Generator-844c46e8a3620c7fae26f87e148643b32480dced.tar.gz VIATRA-Generator-844c46e8a3620c7fae26f87e148643b32480dced.tar.zst VIATRA-Generator-844c46e8a3620c7fae26f87e148643b32480dced.zip |
Closes #34, adds code to test cases where minScope>maxScope.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java index 64129bf3..513618a9 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java | |||
@@ -371,6 +371,46 @@ public class Logic2VampireLanguageMapper_Support { | |||
371 | return _xifexpression; | 371 | return _xifexpression; |
372 | } | 372 | } |
373 | 373 | ||
374 | protected boolean dfsSubtypeCheck(final Type type, final Type type2) { | ||
375 | boolean _xifexpression = false; | ||
376 | boolean _isEmpty = type.getSubtypes().isEmpty(); | ||
377 | if (_isEmpty) { | ||
378 | return false; | ||
379 | } else { | ||
380 | boolean _xifexpression_1 = false; | ||
381 | boolean _contains = type.getSubtypes().contains(type2); | ||
382 | if (_contains) { | ||
383 | return true; | ||
384 | } else { | ||
385 | EList<Type> _subtypes = type.getSubtypes(); | ||
386 | for (final Type subtype : _subtypes) { | ||
387 | boolean _dfsSubtypeCheck = this.dfsSubtypeCheck(subtype, type2); | ||
388 | if (_dfsSubtypeCheck) { | ||
389 | return true; | ||
390 | } | ||
391 | } | ||
392 | } | ||
393 | _xifexpression = _xifexpression_1; | ||
394 | } | ||
395 | return _xifexpression; | ||
396 | } | ||
397 | |||
398 | protected List<Type> listSubtypes(final Type t) { | ||
399 | List<Type> allSubtypes = CollectionLiterals.<Type>newArrayList(); | ||
400 | boolean _isEmpty = t.getSubtypes().isEmpty(); | ||
401 | boolean _not = (!_isEmpty); | ||
402 | if (_not) { | ||
403 | EList<Type> _subtypes = t.getSubtypes(); | ||
404 | for (final Type subt : _subtypes) { | ||
405 | { | ||
406 | allSubtypes.add(subt); | ||
407 | allSubtypes = this.listSubtypes(subt); | ||
408 | } | ||
409 | } | ||
410 | } | ||
411 | return allSubtypes; | ||
412 | } | ||
413 | |||
374 | protected HashMap<Variable, VLSVariable> withAddition(final Map<Variable, VLSVariable> map1, final Map<Variable, VLSVariable> map2) { | 414 | protected HashMap<Variable, VLSVariable> withAddition(final Map<Variable, VLSVariable> map1, final Map<Variable, VLSVariable> map2) { |
375 | HashMap<Variable, VLSVariable> _hashMap = new HashMap<Variable, VLSVariable>(map1); | 415 | HashMap<Variable, VLSVariable> _hashMap = new HashMap<Variable, VLSVariable>(map1); |
376 | final Procedure1<HashMap<Variable, VLSVariable>> _function = (HashMap<Variable, VLSVariable> it) -> { | 416 | final Procedure1<HashMap<Variable, VLSVariable>> _function = (HashMap<Variable, VLSVariable> it) -> { |