diff options
Diffstat (limited to 'Framework')
-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, |