1 files changed, 0 insertions, 18 deletions

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