blob: 8c93d4ecd4d747f84d1a38699a95b73e5a7897fc (
plain) (
blame)
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)
}
|