@Deprecated public class LogSkeletonBrowserParameters extends BrowserConfiguration
Constructor and Description |
---|
LogSkeletonBrowserParameters()
Deprecated.
|
getActivities, getEquivalenceThreshold, getFontname, getFontnameRepresentation, getNotCoExistenceThreshold, getPrecedenceThreshold, getRelations, getResponseThreshold, getVisualizers, isUseEdgeColors, isUseEquivalenceClass, isUseFalseConstraints, isUseHeadTailLabels, isUseHyperArcs, isUseInvertedArrows, isUseNCEReductions, isUseNeighbors, setEquivalenceThreshold, setFontname, setFontnameRepresentation, setNotCoExistenceThreshold, setPrecedenceThreshold, setResponseThreshold, setUseEdgeColors, setUseEquivalenceClass, setUseFalseConstraints, setUseHeadTailLabels, setUseHyperArcs, setUseInvertedArrows, setUseNCEReductions, setUseNeighbors