Uses of Class
org.tweetyproject.preferences.ranking.LevelingFunction
-
Uses of LevelingFunction in org.tweetyproject.preferences
Modifier and TypeMethodDescriptionPreferenceOrder.getLevelingFunction()
returns the ranking function for this preference order -
Uses of LevelingFunction in org.tweetyproject.preferences.ranking
ModifierConstructorDescriptionRankingFunction(LevelingFunction<T> lf)
this constructor creates a ranking function using a given preference order