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
ModifierConstructorDescriptionthis constructor creates a ranking function using a given preference order