public class Selection
extends java.lang.Object
Constructor and Description |
---|
Selection() |
Selection(gnu.trove.set.TIntSet selectedActivities,
java.util.Set<LogMovePosition> selectedLogMoves,
gnu.trove.set.TIntSet selectedModelMoves,
gnu.trove.set.TLongSet selectedTaus) |
Modifier and Type | Method and Description |
---|---|
gnu.trove.set.TIntSet |
getSelectedActivities() |
gnu.trove.set.TIntSet |
getSelectedModelMoves() |
gnu.trove.set.TLongSet |
getSelectedTaus() |
boolean |
isALogMoveSelected() |
boolean |
isAModelEdgeSelected() |
boolean |
isAModelMoveSelected() |
boolean |
isAnActivitySelected() |
boolean |
isSelected(IvMModel model,
java.util.List<Move> trace,
Move move) |
boolean |
isSelected(LocalDotEdge dotEdge) |
boolean |
isSelected(LocalDotNode dotNode) |
boolean |
isSomethingSelected() |
void |
select(org.processmining.plugins.graphviz.dot.DotElement dotElement) |
public Selection()
public Selection(gnu.trove.set.TIntSet selectedActivities, java.util.Set<LogMovePosition> selectedLogMoves, gnu.trove.set.TIntSet selectedModelMoves, gnu.trove.set.TLongSet selectedTaus)
public boolean isSelected(LocalDotNode dotNode)
public boolean isSelected(LocalDotEdge dotEdge)
public gnu.trove.set.TIntSet getSelectedActivities()
public gnu.trove.set.TLongSet getSelectedTaus()
public gnu.trove.set.TIntSet getSelectedModelMoves()
public void select(org.processmining.plugins.graphviz.dot.DotElement dotElement)
public boolean isAnActivitySelected()
public boolean isALogMoveSelected()
public boolean isAModelMoveSelected()
public boolean isAModelEdgeSelected()
public boolean isSomethingSelected()