blob: 30fe5878c4039cc7c35c8d61ebd2ae59ccf09685 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
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() {
}
}
|