aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.xtend
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-10-08 03:00:08 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-06-07 19:43:10 -0400
commitd0e4ffcc9dfc85367ccc73bf070404416081a477 (patch)
tree0db0134207f473f6a12d7c362512b008bd6449eb /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Vampire2LogicMapper.xtend
parentVAMPIRE: Implement Vampire measurement code (diff)
downloadVIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.tar.gz
VIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.tar.zst
VIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.zip
VAMPIRE: fix bug in transformation, further implement measurement code
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.xtend5
1 files changed, 3 insertions, 2 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 489bf423..e136d1c6 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
@@ -8,7 +8,7 @@ class Vampire2LogicMapper {
8 8
9// 9//
10 public def transformOutput(LogicProblem problem, int requiredNumberOfSolution, 10 public def transformOutput(LogicProblem problem, int requiredNumberOfSolution,
11 MonitoredVampireSolution monitoredVampireSolution, Logic2VampireLanguageMapperTrace trace, 11 MonitoredVampireSolution monitoredVampireSolution, Logic2VampireLanguageMapperTrace trace,
12 long transformationTime) { 12 long transformationTime) {
13 13
14 // ModelRsult implements LogicResult 14 // ModelRsult implements LogicResult
@@ -22,7 +22,8 @@ class Vampire2LogicMapper {
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 25 it.solverTime = solution.solverTime as int
26 it.transformationTime = transformationTime as int
26 ] 27 ]
27// createStatistics => [ 28// createStatistics => [
28// it.transformationTime = transformationTime as int 29// it.transformationTime = transformationTime as int