VAMPIRE: Implement Vampire measurement code

1 files changed, 6 insertions, 1 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java
index 29a2ecea..4fbf7291 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java
@@ -31,6 +31,11 @@ public class Vampire2LogicMapper {
   }

   

   public Statistics transformStatistics(final MonitoredVampireSolution solution, final long transformationTime) {

-    return this.resultFactory.createStatistics();

+    Statistics _createStatistics = this.resultFactory.createStatistics();

+    final Procedure1<Statistics> _function = (Statistics it) -> {

+      long _solverTime = solution.getSolverTime();

+      it.setTransformationTime(((int) _solverTime));

+    };

+    return ObjectExtensions.<Statistics>operator_doubleArrow(_createStatistics, _function);

   }

 }