From 4236f6735c91e8db3e4eb5641f5625f83024f434 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 24 Mar 2018 22:16:37 -0400 Subject: Removed unused projects --- .../logic2viatra/patterns/RepairGenerator.xtend | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RepairGenerator.xtend (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RepairGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RepairGenerator.xtend deleted file mode 100644 index 30fe5878..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RepairGenerator.xtend +++ /dev/null @@ -1,18 +0,0 @@ -package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns - -import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem - -class RepairGenerator { - val PatternGenerator base; - new(PatternGenerator base) { - this.base = base - } - - def generateRepairUnfinishedMultiplicityPatterns(LogicProblem problem) { - //val refinements = base.relationRefinementGenerator.getRelationRefinements(problem) - //val unfinisedLowerMultiplicities = base.get - } - def getRepairUnfinishedMultiplicityPatterns() { - - } -} \ No newline at end of file -- cgit v1.2.3-54-g00ecf