public class RefineAlignment
extends java.lang.Object
Constructor and Description |
---|
RefineAlignment(int encodingLength) |
Modifier and Type | Method and Description |
---|---|
java.util.TreeSet<java.lang.Integer> |
getColumnIndices(java.lang.String[] originalAlignment,
java.util.Set<java.lang.String> concurrentActivitySet) |
java.util.Set<java.lang.String> |
getConcurrentActivities(java.lang.String[] originalAlignment,
boolean isAcrossAllTraces) |
boolean |
isValidRefinement() |
static void |
main(java.lang.String[] args) |
java.lang.String[] |
performBlockShiftLeft(java.lang.String[] originalAlignment) |
java.lang.String[] |
performBlockShiftRight(java.lang.String[] originalAlignment) |
java.lang.String[] |
refineConcurrent(java.lang.String[] originalAlignment,
boolean isActivityAcrossAllTraces) |
java.lang.String[] |
refineConcurrent0(int encodingLength,
java.lang.String[] originalAlignment) |
java.lang.String[] |
removeConcurrent(java.lang.String[] originalAlignment,
java.lang.String concurrentActivity) |
public java.lang.String[] performBlockShiftRight(java.lang.String[] originalAlignment)
public java.lang.String[] performBlockShiftLeft(java.lang.String[] originalAlignment)
public java.util.TreeSet<java.lang.Integer> getColumnIndices(java.lang.String[] originalAlignment, java.util.Set<java.lang.String> concurrentActivitySet)
public java.lang.String[] removeConcurrent(java.lang.String[] originalAlignment, java.lang.String concurrentActivity)
public java.lang.String[] refineConcurrent(java.lang.String[] originalAlignment, boolean isActivityAcrossAllTraces)
public java.util.Set<java.lang.String> getConcurrentActivities(java.lang.String[] originalAlignment, boolean isAcrossAllTraces)
public java.lang.String[] refineConcurrent0(int encodingLength, java.lang.String[] originalAlignment)
public boolean isValidRefinement()
public static void main(java.lang.String[] args)