diff options
author | 2019-10-07 00:35:42 -0400 | |
---|---|---|
committer | 2019-10-07 00:35:42 -0400 | |
commit | 5d1165ceef23e20c4bbe46fe6f88e95f317234b5 (patch) | |
tree | 9ed155a9e8d74b0f1ce7173aacd50e0e01c96f22 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java | |
parent | VAMPIRE: fix model generation (diff) | |
download | VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.gz VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.zst VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.zip |
VAMPIRE: Implement Vampire measurement code
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 | } |