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 {
         * The solver writes only temporary files.
         */
        NONE,
+        
+        METRICS,
+        
        /**
         * The solver is requested to write important artifacts and documents that are constructed during the generation.
         * This option should not affect the performance of the solver seriously.

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.