From 5d1165ceef23e20c4bbe46fe6f88e95f317234b5 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Mon, 7 Oct 2019 00:35:42 -0400
Subject: VAMPIRE: Implement Vampire measurement code

---
 .../dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java  | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java')

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);
   }
 }
-- 
cgit v1.2.3-54-g00ecf