diff options
| author |  20001LastOrder <boqi.chen@mail.mcgill.ca> | 2020-11-04 01:16:22 -0500 |
|---|---|---|
| committer | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2020-11-04 01:16:22 -0500 |
| commit | 93243cb3faf1ccd733081fcf380559ac03c9ad35 (patch) | |
| tree | 421f9f174eb77c387b5acaa05f01e64a62cab3a7 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend | |
| parent | add realistic solver (diff) | |
| parent | Optimizing generator with linear objective functions (diff) | |
| download | VIATRA-Generator-93243cb3faf1ccd733081fcf380559ac03c9ad35.tar.gz VIATRA-Generator-93243cb3faf1ccd733081fcf380559ac03c9ad35.tar.zst VIATRA-Generator-93243cb3faf1ccd733081fcf380559ac03c9ad35.zip | |
merge with current master, comment numerical solver related logging
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend')
| -rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend index f6b0b4a5..1eb6442b 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloySolver.xtend | |||
| @@ -62,7 +62,7 @@ class AlloySolver extends LogicReasoner{ | |||
| 62 | val result2 = handler.callSolver(alloyProblem,workspace,alloyConfig,alloyCode) | 62 | val result2 = handler.callSolver(alloyProblem,workspace,alloyConfig,alloyCode) |
| 63 | alloyConfig.progressMonitor.workedSearchFinished | 63 | alloyConfig.progressMonitor.workedSearchFinished |
| 64 | 64 | ||
| 65 | val logicResult = backwardMapper.transformOutput(problem,configuration.solutionScope.numberOfRequiredSolution,result2,forwardTrace,transformationTime) | 65 | val logicResult = backwardMapper.transformOutput(problem,configuration.solutionScope.numberOfRequiredSolutions,result2,forwardTrace,transformationTime) |
| 66 | alloyConfig.progressMonitor.workedBackwardTransformationFinished | 66 | alloyConfig.progressMonitor.workedBackwardTransformationFinished |
| 67 | //val solverFinish = System.currentTimeMillis-solverStart | 67 | //val solverFinish = System.currentTimeMillis-solverStart |
| 68 | // Finish: Solving Alloy problem | 68 | // Finish: Solving Alloy problem |