Documentation level is in the config interface

1 files changed, 40 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 aaf14ebb..06307e2e 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
@@ -8,6 +8,9 @@ import java.util.List
 import java.util.TreeSet

 import java.util.SortedSet

 import java.math.BigDecimal

+import java.util.HashMap

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type

+import java.util.Map

 

 abstract class LogicReasoner {

         def abstract LogicResult solve(LogicProblem problem, LogicSolverConfiguration configuration,

@@ -40,33 +43,62 @@ abstract class LogicSolverConfiguration {
         public int runtimeLimit = Unlimited

         /** Max runtime limit in seconds. */

         public int memoryLimit = Unlimited

+        /** Documentation level of the solver. */

+        public DocumentationLevel documentationLevel = DocumentationLevel::NONE

 

         public var TypeScopes typeScopes = new TypeScopes;

         public var SolutionScope solutionScope = new SolutionScope

 }

 

 /**

+ * Describes the amount of debug information required to write to the workspace.

+ * 

+ */

+public enum DocumentationLevel {

+        /**

+         * The solver writes only temporary files.

+         */

+        NONE,

+        /**

+         * 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. 

+         */

+        NORMAL,

+        /**

+         * The solver is requested create additional documents to aid troubleshooting.

+         * The documents can constructed at the cost of performance.

+         */

+        FULL

+}

+

+/**

  * Defines the the size of the generated models. Constant <code>Unlimited</code> defines no upper limit to the type.

  */

 public class TypeScopes {

         public static val Unlimited = -1;

         

+        /**

+         * Sets the Integers that are already in the scope of the problem.

+         */

         public var SortedSet<Integer> knownIntegers = new TreeSet

         /**

          * Sets the number of Integers that has to be used to solve the problem.

          */

+        public var minNewIntegers = 0

         public var maxNewIntegers = Unlimited

         

         public var SortedSet<BigDecimal> knownReals = new TreeSet

         /**

          * Sets the number of Reals that has to be used to solve the problem.

          */

+        public var minNewReals = 0

         public var maxNewReals = Unlimited

         

         public var SortedSet<String> knownStrings = new TreeSet

         /**

          * Sets the number of Strings that has to be used to solve the problem.

          */

+        public var minNewStrings = 0

         public var maxNewStrings = Unlimited

         

         /**

@@ -77,6 +109,14 @@ public class TypeScopes {
          * Defines the maximal number of newly added elements. Default value is <code>TypeScopes.Unlimited</code>.

          */

         public var maxNewElements = Unlimited

+        /**

+         * 

+         */

+        public var Map<Type,Integer> minNewElementsByType = new HashMap 

+        /**

+         * 

+         */

+        public var Map<Type,Integer> maxNewElementsByType = new HashMap

 }

 

 /**