aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-10-07 00:35:42 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-10-07 00:35:42 -0400
commit5d1165ceef23e20c4bbe46fe6f88e95f317234b5 (patch)
tree9ed155a9e8d74b0f1ce7173aacd50e0e01c96f22 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.java
parentVAMPIRE: fix model generation (diff)
downloadVIATRA-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.java7
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}