diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-07-15 20:28:05 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-07-15 20:28:05 +0200 |
| commit | dc3e0ed8f78cccce50422069852636555ee675fc (patch) | |
| tree | 79e56f756da0a4d088be541aa9a2a6324fae099a /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme | |
| parent | Added scope validation as a service of the solver interface (diff) | |
| download | VIATRA-Generator-dc3e0ed8f78cccce50422069852636555ee675fc.tar.gz VIATRA-Generator-dc3e0ed8f78cccce50422069852636555ee675fc.tar.zst VIATRA-Generator-dc3e0ed8f78cccce50422069852636555ee675fc.zip | |
cleanup imported package
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme')
| -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, 1 insertions, 2 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 073e550b..b7219173 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 | |||
| @@ -7,12 +7,11 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult | |||
| 7 | import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace | 7 | import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace |
| 8 | import java.math.BigDecimal | 8 | import java.math.BigDecimal |
| 9 | import java.util.HashMap | 9 | import java.util.HashMap |
| 10 | import java.util.LinkedList | ||
| 10 | import java.util.List | 11 | import java.util.List |
| 11 | import java.util.Map | 12 | import java.util.Map |
| 12 | import java.util.SortedSet | 13 | import java.util.SortedSet |
| 13 | import java.util.TreeSet | 14 | import java.util.TreeSet |
| 14 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure0 | ||
| 15 | import java.util.LinkedList | ||
| 16 | 15 | ||
| 17 | abstract class LogicReasoner { | 16 | abstract class LogicReasoner { |
| 18 | def abstract LogicResult solve(LogicProblem problem, LogicSolverConfiguration configuration, | 17 | def abstract LogicResult solve(LogicProblem problem, LogicSolverConfiguration configuration, |