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 AbstractionElementListenerpublic 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()