public PriorityQueue(OrderingConvention myconvention) { this.convention = myconvention; }
public PriorityQueue() { this.convention = OrderingConvention.None; }