diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java | 7 |
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 { | |||
31 | } | 31 | } |
32 | 32 | ||
33 | public Statistics transformStatistics(final MonitoredVampireSolution solution, final long transformationTime) { | 33 | public Statistics transformStatistics(final MonitoredVampireSolution solution, final long transformationTime) { |
34 | return this.resultFactory.createStatistics(); | 34 | Statistics _createStatistics = this.resultFactory.createStatistics(); |
35 | final Procedure1<Statistics> _function = (Statistics it) -> { | ||
36 | long _solverTime = solution.getSolverTime(); | ||
37 | it.setTransformationTime(((int) _solverTime)); | ||
38 | }; | ||
39 | return ObjectExtensions.<Statistics>operator_doubleArrow(_createStatistics, _function); | ||
35 | } | 40 | } |
36 | } | 41 | } |