Class Selection
- java.lang.Object
-
- org.processmining.plugins.inductiveVisualMiner.Selection
-
public class Selection extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description Selection()Selection(gnu.trove.set.TIntSet selectedActivities, java.util.Set<LogMovePosition> selectedLogMoves, gnu.trove.set.TIntSet selectedModelMoves, gnu.trove.set.TLongSet selectedTaus)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description gnu.trove.set.TIntSetgetSelectedActivities()gnu.trove.set.TIntSetgetSelectedModelMoves()gnu.trove.set.TLongSetgetSelectedTaus()booleanisALogMoveSelected()booleanisAModelEdgeSelected()booleanisAModelMoveSelected()booleanisAnActivitySelected()booleanisSelected(IvMModel model, java.util.List<Move> trace, Move move)booleanisSelected(LocalDotEdge dotEdge)booleanisSelected(LocalDotNode dotNode)booleanisSomethingSelected()voidselect(org.processmining.plugins.graphviz.dot.DotElement dotElement)
-
-
-
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(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()
-
-