Class Selection


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

      • Selection

        public Selection()
      • Selection

        public Selection​(gnu.trove.set.TIntSet selectedActivities,
                         java.util.Set<LogMovePosition> selectedLogMoves,
                         gnu.trove.set.TIntSet selectedModelMoves,
                         gnu.trove.set.TLongSet selectedTaus)
    • Method Detail

      • isSelected

        public boolean isSelected​(IvMModel model,
                                  java.util.List<Move> trace,
                                  Move move)
      • isSelected

        public boolean isSelected​(LocalDotNode dotNode)
      • isSelected

        public boolean isSelected​(LocalDotEdge dotEdge)
      • getSelectedActivities

        public gnu.trove.set.TIntSet getSelectedActivities()
      • getSelectedTaus

        public gnu.trove.set.TLongSet getSelectedTaus()
      • getSelectedModelMoves

        public gnu.trove.set.TIntSet getSelectedModelMoves()
      • select

        public void select​(org.processmining.plugins.graphviz.dot.DotElement dotElement)
      • isAnActivitySelected

        public boolean isAnActivitySelected()
      • isALogMoveSelected

        public boolean isALogMoveSelected()
      • isAModelMoveSelected

        public boolean isAModelMoveSelected()
      • isAModelEdgeSelected

        public boolean isAModelEdgeSelected()
      • isSomethingSelected

        public boolean isSomethingSelected()