public class AbstractionSetTheory
extends java.lang.Object
Constructor and Description |
---|
AbstractionSetTheory(java.util.Set<java.util.Set<java.lang.String>> alphabetSet) |
Modifier and Type | Method and Description |
---|---|
protected void |
buildGraph() |
protected void |
buildLayeredGraph() |
java.util.Map<java.util.Set<java.lang.String>,java.util.Set<java.util.Set<java.lang.String>>> |
getAlphabetMaximalElementSetMap() |
java.util.List<java.util.Set<java.lang.String>> |
getMaximalElements() |
java.util.Map<java.util.Set<java.lang.String>,java.util.Set<java.util.Set<java.lang.String>>> |
getMaximalElementSubsumedAlphabetSetMap() |
java.util.Set<java.util.Set<java.lang.String>> |
getSubsumedAlphabetSet(java.util.Set<java.lang.String> maximalElement) |
void |
printGraph() |
public AbstractionSetTheory(java.util.Set<java.util.Set<java.lang.String>> alphabetSet)
protected void buildGraph()
protected void buildLayeredGraph()
public java.util.List<java.util.Set<java.lang.String>> getMaximalElements()
public void printGraph()
public java.util.Map<java.util.Set<java.lang.String>,java.util.Set<java.util.Set<java.lang.String>>> getAlphabetMaximalElementSetMap()
public java.util.Map<java.util.Set<java.lang.String>,java.util.Set<java.util.Set<java.lang.String>>> getMaximalElementSubsumedAlphabetSetMap()
public java.util.Set<java.util.Set<java.lang.String>> getSubsumedAlphabetSet(java.util.Set<java.lang.String> maximalElement)