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 | 10 |
1 files changed, 5 insertions, 5 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 6cd53fae..dae0df6e 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 | |||
@@ -11,9 +11,9 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies; | |||
11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; | 11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; |
12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr; | 12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr; |
13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm; | ||
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration; | ||
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; | 17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; |
18 | import com.google.common.base.Objects; | 18 | import com.google.common.base.Objects; |
19 | import com.google.common.collect.Iterables; | 19 | import com.google.common.collect.Iterables; |
@@ -324,9 +324,9 @@ public class Logic2VampireLanguageMapper_Support { | |||
324 | if (isUniversal) { | 324 | if (isUniversal) { |
325 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); | 325 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); |
326 | final Procedure1<VLSUniversalQuantifier> _function_1 = (VLSUniversalQuantifier it) -> { | 326 | final Procedure1<VLSUniversalQuantifier> _function_1 = (VLSUniversalQuantifier it) -> { |
327 | EList<VLSVariableDeclaration> _variables = it.getVariables(); | 327 | EList<VLSTffTerm> _variables = it.getVariables(); |
328 | Collection<VLSVariable> _values = variableMap.values(); | 328 | Collection<VLSVariable> _values = variableMap.values(); |
329 | Iterables.<VLSVariableDeclaration>addAll(_variables, _values); | 329 | Iterables.<VLSTffTerm>addAll(_variables, _values); |
330 | VLSImplies _createVLSImplies = this.factory.createVLSImplies(); | 330 | VLSImplies _createVLSImplies = this.factory.createVLSImplies(); |
331 | final Procedure1<VLSImplies> _function_2 = (VLSImplies it_1) -> { | 331 | final Procedure1<VLSImplies> _function_2 = (VLSImplies it_1) -> { |
332 | it_1.setLeft(this.unfoldAnd(typedefs)); | 332 | it_1.setLeft(this.unfoldAnd(typedefs)); |
@@ -342,9 +342,9 @@ public class Logic2VampireLanguageMapper_Support { | |||
342 | typedefs.add(mapper.transformTerm(expression.getExpression(), trace, this.withAddition(variables, variableMap))); | 342 | typedefs.add(mapper.transformTerm(expression.getExpression(), trace, this.withAddition(variables, variableMap))); |
343 | VLSExistentialQuantifier _createVLSExistentialQuantifier = this.factory.createVLSExistentialQuantifier(); | 343 | VLSExistentialQuantifier _createVLSExistentialQuantifier = this.factory.createVLSExistentialQuantifier(); |
344 | final Procedure1<VLSExistentialQuantifier> _function_2 = (VLSExistentialQuantifier it) -> { | 344 | final Procedure1<VLSExistentialQuantifier> _function_2 = (VLSExistentialQuantifier it) -> { |
345 | EList<VLSVariableDeclaration> _variables = it.getVariables(); | 345 | EList<VLSTffTerm> _variables = it.getVariables(); |
346 | Collection<VLSVariable> _values = variableMap.values(); | 346 | Collection<VLSVariable> _values = variableMap.values(); |
347 | Iterables.<VLSVariableDeclaration>addAll(_variables, _values); | 347 | Iterables.<VLSTffTerm>addAll(_variables, _values); |
348 | it.setOperand(this.unfoldAnd(typedefs)); | 348 | it.setOperand(this.unfoldAnd(typedefs)); |
349 | }; | 349 | }; |
350 | _xblockexpression_1 = ObjectExtensions.<VLSExistentialQuantifier>operator_doubleArrow(_createVLSExistentialQuantifier, _function_2); | 350 | _xblockexpression_1 = ObjectExtensions.<VLSExistentialQuantifier>operator_doubleArrow(_createVLSExistentialQuantifier, _function_2); |