Class HighlightingDescription


  • public class HighlightingDescription
    extends java.lang.Object
    • Constructor Detail

      • HighlightingDescription

        public HighlightingDescription()
    • Method Detail

      • updateSelectionDescription

        public static void updateSelectionDescription​(InductiveVisualMinerPanel panel,
                                                      Selection selection,
                                                      IvMFilterTree<?> filter,
                                                      IvMModel model)
        Tell the user which traces are being coloured/selected
        Parameters:
        panel -
        selectedNodes -
        selectedLogMoves -
        filter -
        maxAnimatedTraces -
        numberOfTraces -