package mvd.jester.simulator.internals; import java.util.TreeSet; import mvd.jester.priority.PriorityManager; /** * SortedTaskContextSet */
public class SortedTaskContextSet extends TreeSet<TaskContextInterface> {
private static final long serialVersionUID = 4808544133562675597L; public SortedTaskContextSet(PriorityManager priorityMananger) {
super((t1, t2) -> priorityMananger.compare(t1, t2));
} }