public class BrowserConfiguration
extends java.lang.Object
Constructor and Description |
---|
BrowserConfiguration(BrowserInput input) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.lang.String> |
getActivities() |
int |
getEquivalenceThreshold() |
java.lang.String |
getFontname() |
java.lang.String |
getFontnameRepresentation() |
int |
getNotCoExistenceThreshold() |
int |
getPrecedenceThreshold() |
java.util.List<LogSkeletonRelation> |
getRelations() |
int |
getResponseThreshold() |
java.util.List<LogSkeletonBrowser> |
getVisualizers()
Deprecated.
|
boolean |
isUseEdgeColors() |
boolean |
isUseEquivalenceClass() |
boolean |
isUseFalseConstraints() |
boolean |
isUseHeadTailLabels() |
boolean |
isUseHyperArcs() |
boolean |
isUseInvertedArrows() |
boolean |
isUseNCEReductions() |
boolean |
isUseNeighbors() |
void |
setEquivalenceThreshold(int equivalenceThreshold) |
void |
setFontname(java.lang.String fontname) |
void |
setFontnameRepresentation(java.lang.String fontnames) |
void |
setNotCoExistenceThreshold(int threshold) |
void |
setPrecedenceThreshold(int threshold) |
void |
setResponseThreshold(int threshold) |
void |
setUseEdgeColors(boolean useEdgeColors) |
void |
setUseEquivalenceClass(boolean useEquivalenceClass) |
void |
setUseFalseConstraints(boolean useFalseConstraints) |
void |
setUseHeadTailLabels(boolean useHeadTailLabels) |
void |
setUseHyperArcs(boolean useHyperArcs) |
void |
setUseInvertedArrows(boolean useInvertedArrows) |
void |
setUseNCEReductions(boolean useNCEReductions) |
void |
setUseNeighbors(boolean useNeighbors) |
public BrowserConfiguration(BrowserInput input)
public java.util.Set<java.lang.String> getActivities()
@Deprecated public java.util.List<LogSkeletonBrowser> getVisualizers()
public java.util.List<LogSkeletonRelation> getRelations()
public boolean isUseHyperArcs()
public void setUseHyperArcs(boolean useHyperArcs)
public boolean isUseFalseConstraints()
public void setUseFalseConstraints(boolean useFalseConstraints)
public boolean isUseNeighbors()
public void setUseNeighbors(boolean useNeighbors)
public boolean isUseEdgeColors()
public void setUseEdgeColors(boolean useEdgeColors)
public boolean isUseEquivalenceClass()
public void setUseEquivalenceClass(boolean useEquivalenceClass)
public int getPrecedenceThreshold()
public void setPrecedenceThreshold(int threshold)
public int getResponseThreshold()
public void setResponseThreshold(int threshold)
public int getNotCoExistenceThreshold()
public void setNotCoExistenceThreshold(int threshold)
public boolean isUseHeadTailLabels()
public void setUseHeadTailLabels(boolean useHeadTailLabels)
public int getEquivalenceThreshold()
public void setEquivalenceThreshold(int equivalenceThreshold)
public boolean isUseInvertedArrows()
public void setUseInvertedArrows(boolean useInvertedArrows)
public java.lang.String getFontname()
public void setFontname(java.lang.String fontname)
public java.lang.String getFontnameRepresentation()
public void setFontnameRepresentation(java.lang.String fontnames)
public boolean isUseNCEReductions()
public void setUseNCEReductions(boolean useNCEReductions)