diff options
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 | 23 |
1 files changed, 23 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 e1be7df5..b111732f 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 | |||
@@ -50,6 +50,29 @@ public class Logic2VampireLanguageMapper_Support { | |||
50 | return IterableExtensions.join(((Iterable<?>)Conversions.doWrapArray(ids.split("\\s+"))), "_"); | 50 | return IterableExtensions.join(((Iterable<?>)Conversions.doWrapArray(ids.split("\\s+"))), "_"); |
51 | } | 51 | } |
52 | 52 | ||
53 | protected VLSVariable duplicate(final VLSVariable vrbl) { | ||
54 | VLSVariable _createVLSVariable = this.factory.createVLSVariable(); | ||
55 | final Procedure1<VLSVariable> _function = (VLSVariable it) -> { | ||
56 | it.setName(vrbl.getName()); | ||
57 | }; | ||
58 | return ObjectExtensions.<VLSVariable>operator_doubleArrow(_createVLSVariable, _function); | ||
59 | } | ||
60 | |||
61 | protected VLSFunction topLevelTypeFunc() { | ||
62 | VLSFunction _createVLSFunction = this.factory.createVLSFunction(); | ||
63 | final Procedure1<VLSFunction> _function = (VLSFunction it) -> { | ||
64 | it.setConstant("object"); | ||
65 | EList<VLSTerm> _terms = it.getTerms(); | ||
66 | VLSVariable _createVLSVariable = this.factory.createVLSVariable(); | ||
67 | final Procedure1<VLSVariable> _function_1 = (VLSVariable it_1) -> { | ||
68 | it_1.setName("A"); | ||
69 | }; | ||
70 | VLSVariable _doubleArrow = ObjectExtensions.<VLSVariable>operator_doubleArrow(_createVLSVariable, _function_1); | ||
71 | _terms.add(_doubleArrow); | ||
72 | }; | ||
73 | return ObjectExtensions.<VLSFunction>operator_doubleArrow(_createVLSFunction, _function); | ||
74 | } | ||
75 | |||
53 | protected VLSTerm unfoldAnd(final List<? extends VLSTerm> operands) { | 76 | protected VLSTerm unfoldAnd(final List<? extends VLSTerm> operands) { |
54 | int _size = operands.size(); | 77 | int _size = operands.size(); |
55 | boolean _equals = (_size == 1); | 78 | boolean _equals = (_size == 1); |