Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ModelGenerationMethodBasedGlobalConstraint.xtend


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
	}
}