diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | 2 |
1 files changed, 1 insertions, 1 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 e62a3cb7..3e0c86c4 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 | |||
| @@ -67,7 +67,7 @@ public enum DocumentationLevel { | |||
| 67 | /** | 67 | /** |
| 68 | * The solver writes only temporary files. | 68 | * The solver writes only temporary files. |
| 69 | */ | 69 | */ |
| 70 | NONE, | 70 | NONE, |
| 71 | /** | 71 | /** |
| 72 | * The solver is requested to write important artifacts and documents that are constructed during the generation. | 72 | * The solver is requested to write important artifacts and documents that are constructed during the generation. |
| 73 | * This option should not affect the performance of the solver seriously. | 73 | * This option should not affect the performance of the solver seriously. |