diff options
author | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-05-27 16:20:40 -0400 |
---|---|---|
committer | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-05-27 16:20:40 -0400 |
commit | 7595605950a45892af9e19cb8a5968da127479f4 (patch) | |
tree | 459803af05a916cd9d2e991358a816b242a44029 /Framework | |
parent | add project for metric calculator (diff) | |
download | VIATRA-Generator-7595605950a45892af9e19cb8a5968da127479f4.tar.gz VIATRA-Generator-7595605950a45892af9e19cb8a5968da127479f4.tar.zst VIATRA-Generator-7595605950a45892af9e19cb8a5968da127479f4.zip |
modify generation to log metrics measurements
Diffstat (limited to 'Framework')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend index f1d410d8..650fa02c 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | |||
@@ -66,6 +66,9 @@ public enum DocumentationLevel { | |||
66 | * The solver writes only temporary files. | 66 | * The solver writes only temporary files. |
67 | */ | 67 | */ |
68 | NONE, | 68 | NONE, |
69 | |||
70 | METRICS, | ||
71 | |||
69 | /** | 72 | /** |
70 | * The solver is requested to write important artifacts and documents that are constructed during the generation. | 73 | * The solver is requested to write important artifacts and documents that are constructed during the generation. |
71 | * This option should not affect the performance of the solver seriously. | 74 | * This option should not affect the performance of the solver seriously. |