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


1
2
3
4
5
6
7
8

package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.optimization

import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.Bounds
import org.eclipse.viatra.dse.objectives.IObjective

interface IObjectiveBoundsProvider {
	def void computeRequiredBounds(IObjective objective, Bounds bounds)
}