From dc3e0ed8f78cccce50422069852636555ee675fc Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 15 Jul 2018 20:28:05 +0200 Subject: cleanup imported package --- .../hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme') 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 import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace import java.math.BigDecimal import java.util.HashMap +import java.util.LinkedList import java.util.List import java.util.Map import java.util.SortedSet import java.util.TreeSet -import org.eclipse.xtext.xbase.lib.Procedures.Procedure0 -import java.util.LinkedList abstract class LogicReasoner { def abstract LogicResult solve(LogicProblem problem, LogicSolverConfiguration configuration, -- cgit v1.2.3-54-g00ecf