Enum NumericalPartialOrder.SortingType

java.lang.Object
java.lang.Enum<NumericalPartialOrder.SortingType>
org.tweetyproject.comparator.NumericalPartialOrder.SortingType
All Implemented Interfaces:
Serializable, Comparable<NumericalPartialOrder.SortingType>, Constable
Enclosing class:
NumericalPartialOrder<T extends Formula,R extends BeliefBase>

public static enum NumericalPartialOrder.SortingType extends Enum<NumericalPartialOrder.SortingType>
Possible sorting types for the numerical values. "Ascending" is the default.