blob: 28cf986d4c149974804f64d98d3fc0dc942a71d6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner
import org.eclipse.viatra.dse.objectives.IGlobalConstraint
import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationMethod
abstract class ModelGenerationMethodBasedGlobalConstraint implements IGlobalConstraint {
val protected ModelGenerationMethod method
new(ModelGenerationMethod method) {
this.method = method
}
}
|