public PriQueue() { this.listUI = DiagnosticUI.theDiagnostics; }
public PriQueue() { this.listUI = DiagnosticUI.theDiagnostics; }
public PriQueue() { this.listUI = DiagnosticUI.theDiagnostics; }
public PriQueue() { this.listUI = DiagnosticUI.theDiagnostics; }