private void update ( ) { if ( ! uptodate ) { summary . clear ( ) ; distinctTraces . clear ( ) ; traces . clear ( ) ; addTraces ( allTraces , false ) ; uptodate = true ; } }
Updates the summary set of distinct traces and list of traces if the filter set has been changed .