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


1
2
3
4
5
6
7
8
9
10

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

import org.eclipse.viatra.dse.base.ThreadContext
import org.eclipse.viatra.dse.objectives.IObjective

interface IThreeValuedObjective extends IObjective {
	def Double getWorstPossibleFitness(ThreadContext threadContext)
	
	def Double getBestPossibleFitness(ThreadContext threadContext)
}