diff options
author | 2018-03-24 22:16:37 -0400 | |
---|---|---|
committer | 2018-03-24 22:16:37 -0400 | |
commit | 4236f6735c91e8db3e4eb5641f5625f83024f434 (patch) | |
tree | 4daa916edd6d7f2e6d8908fe6582d166770193de /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra | |
parent | example projects added (diff) | |
download | VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.gz VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.tar.zst VIATRA-Generator-4236f6735c91e8db3e4eb5641f5625f83024f434.zip |
Removed unused projects
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RepairGenerator.xtend | 18 |
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 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | ||
4 | |||
5 | class RepairGenerator { | ||
6 | val PatternGenerator base; | ||
7 | new(PatternGenerator base) { | ||
8 | this.base = base | ||
9 | } | ||
10 | |||
11 | def generateRepairUnfinishedMultiplicityPatterns(LogicProblem problem) { | ||
12 | //val refinements = base.relationRefinementGenerator.getRelationRefinements(problem) | ||
13 | //val unfinisedLowerMultiplicities = base.get | ||
14 | } | ||
15 | def getRepairUnfinishedMultiplicityPatterns() { | ||
16 | |||
17 | } | ||
18 | } \ No newline at end of file | ||