public class MineAbstractions extends java.lang.Object implements AbstractionElementListener
Constructor and Description |
---|
MineAbstractions(EncodedLog encodedLog,
javax.swing.JPanel abstractionResultsPanel) |
Modifier and Type | Method and Description |
---|---|
void |
abstractionActivityModified(java.util.Set<java.lang.String> originalAlphabet,
java.util.Set<java.lang.String> modifiedAlphabet,
boolean applyGlobally) |
java.util.Map<java.util.Set<java.lang.String>,java.util.Set<java.util.Set<java.lang.String>>> |
getMaximalElementSubsumedPatternAlphabetSetMap() |
java.util.Map<java.util.Set<java.lang.String>,java.util.Set<java.util.Set<java.lang.String>>> |
getMergedMaximalElementSubsumedMaximalElementSetMap() |
void |
mergeMaximalElements(java.util.Set<java.util.Set<java.lang.String>> maximalElementSet) |
void |
mineSetTheoryAbstractions(java.util.List<java.util.TreeSet<java.lang.String>> patternAlphabetList,
boolean isExtendMaximalElements,
float commonElementsThreshold,
int minMaximalElementSizeThreshold) |
void |
mineSetTheoryAbstractions(java.util.Set<java.util.Set<java.lang.String>> patternAlphabetSet) |
java.util.Map<java.util.Set<java.lang.String>,java.util.TreeSet<java.lang.String>> |
processPatternModifications(java.util.Map<java.util.TreeSet<java.lang.String>,java.util.TreeSet<java.lang.String>> patternAlphabetPatternSetMap) |
void |
removeMaximalElements(java.util.Set<java.util.Set<java.lang.String>> maximalElementSet,
RemoveAbstractionStrategy removeAbstractionStrategy) |
void |
reset() |
void |
setAbstractionStrategy(AbstractionStrategy abstractionStrategy) |
public MineAbstractions(EncodedLog encodedLog, javax.swing.JPanel abstractionResultsPanel)
public void reset()
public void setAbstractionStrategy(AbstractionStrategy abstractionStrategy)
public void mineSetTheoryAbstractions(java.util.List<java.util.TreeSet<java.lang.String>> patternAlphabetList, boolean isExtendMaximalElements, float commonElementsThreshold, int minMaximalElementSizeThreshold)
public void mineSetTheoryAbstractions(java.util.Set<java.util.Set<java.lang.String>> patternAlphabetSet)
public void abstractionActivityModified(java.util.Set<java.lang.String> originalAlphabet, java.util.Set<java.lang.String> modifiedAlphabet, boolean applyGlobally)
abstractionActivityModified
in interface AbstractionElementListener
public void mergeMaximalElements(java.util.Set<java.util.Set<java.lang.String>> maximalElementSet)
public void removeMaximalElements(java.util.Set<java.util.Set<java.lang.String>> maximalElementSet, RemoveAbstractionStrategy removeAbstractionStrategy)
public java.util.Map<java.util.Set<java.lang.String>,java.util.TreeSet<java.lang.String>> processPatternModifications(java.util.Map<java.util.TreeSet<java.lang.String>,java.util.TreeSet<java.lang.String>> patternAlphabetPatternSetMap)
public java.util.Map<java.util.Set<java.lang.String>,java.util.Set<java.util.Set<java.lang.String>>> getMergedMaximalElementSubsumedMaximalElementSetMap()
public java.util.Map<java.util.Set<java.lang.String>,java.util.Set<java.util.Set<java.lang.String>>> getMaximalElementSubsumedPatternAlphabetSetMap()