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