diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.xtend')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.xtend | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.xtend index a0084204..489bf423 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.xtend | |||
| @@ -21,7 +21,9 @@ class Vampire2LogicMapper { | |||
| 21 | } | 21 | } |
| 22 | 22 | ||
| 23 | def transformStatistics(MonitoredVampireSolution solution, long transformationTime) { | 23 | def transformStatistics(MonitoredVampireSolution solution, long transformationTime) { |
| 24 | return createStatistics | 24 | return createStatistics => [ |
| 25 | it.transformationTime = solution.solverTime as int | ||
| 26 | ] | ||
| 25 | // createStatistics => [ | 27 | // createStatistics => [ |
| 26 | // it.transformationTime = transformationTime as int | 28 | // it.transformationTime = transformationTime as int |
| 27 | // for(solutionIndex : 0..<solution.aswers.size) { | 29 | // for(solutionIndex : 0..<solution.aswers.size) { |