diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-04-07 13:46:36 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-07 13:46:36 +0200 |
| commit | 3f9b1c92cc35fa4ed9672a2b8601f4c22af24921 (patch) | |
| tree | 927c41492ff3b50b3d998a4fbe87861187d85912 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu | |
| parent | Add reliability probability and mtff objectives (diff) | |
| download | VIATRA-Generator-3f9b1c92cc35fa4ed9672a2b8601f4c22af24921.tar.gz VIATRA-Generator-3f9b1c92cc35fa4ed9672a2b8601f4c22af24921.tar.zst VIATRA-Generator-3f9b1c92cc35fa4ed9672a2b8601f4c22af24921.zip | |
Infrastructure for objective functions
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 d88e2a52..e62a3cb7 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 | |||
| @@ -159,7 +159,7 @@ public class TypeScopes { | |||
| 159 | */ | 159 | */ |
| 160 | public class SolutionScope { | 160 | public class SolutionScope { |
| 161 | public static val All = Integer.MAX_VALUE; | 161 | public static val All = Integer.MAX_VALUE; |
| 162 | public var numberOfRequiredSolution = 1 | 162 | public var numberOfRequiredSolutions = 1 |
| 163 | } | 163 | } |
| 164 | /** Progress monitor class for a solver to | 164 | /** Progress monitor class for a solver to |
| 165 | * <li>(optionally) report progress via {@link worked}</li> | 165 | * <li>(optionally) report progress via {@link worked}</li> |