Class BrowserConfiguration

    • Constructor Detail

      • BrowserConfiguration

        public BrowserConfiguration​(BrowserInput input)
    • Method Detail

      • getActivities

        public java.util.Set<java.lang.String> getActivities()
      • getVisualizers

        @Deprecated
        public java.util.List<LogSkeletonBrowser> getVisualizers()
        Deprecated.
      • isUseHyperArcs

        public boolean isUseHyperArcs()
      • setUseHyperArcs

        public void setUseHyperArcs​(boolean useHyperArcs)
      • isUseFalseConstraints

        public boolean isUseFalseConstraints()
      • setUseFalseConstraints

        public void setUseFalseConstraints​(boolean useFalseConstraints)
      • isUseNeighbors

        public boolean isUseNeighbors()
      • setUseNeighbors

        public void setUseNeighbors​(boolean useNeighbors)
      • isUseEdgeColors

        public boolean isUseEdgeColors()
      • setUseEdgeColors

        public void setUseEdgeColors​(boolean useEdgeColors)
      • isUseEquivalenceClass

        public boolean isUseEquivalenceClass()
      • setUseEquivalenceClass

        public void setUseEquivalenceClass​(boolean useEquivalenceClass)
      • getPrecedenceThreshold

        public int getPrecedenceThreshold()
      • setPrecedenceThreshold

        public void setPrecedenceThreshold​(int threshold)
      • getResponseThreshold

        public int getResponseThreshold()
      • setResponseThreshold

        public void setResponseThreshold​(int threshold)
      • getNotCoExistenceThreshold

        public int getNotCoExistenceThreshold()
      • setNotCoExistenceThreshold

        public void setNotCoExistenceThreshold​(int threshold)
      • isUseHeadTailLabels

        public boolean isUseHeadTailLabels()
      • setUseHeadTailLabels

        public void setUseHeadTailLabels​(boolean useHeadTailLabels)
      • getEquivalenceThreshold

        public int getEquivalenceThreshold()
      • setEquivalenceThreshold

        public void setEquivalenceThreshold​(int equivalenceThreshold)
      • isUseInvertedArrows

        public boolean isUseInvertedArrows()
      • setUseInvertedArrows

        public void setUseInvertedArrows​(boolean useInvertedArrows)
      • getFontname

        public java.lang.String getFontname()
      • setFontname

        public void setFontname​(java.lang.String fontname)
      • getFontnameRepresentation

        public java.lang.String getFontnameRepresentation()
      • setFontnameRepresentation

        public void setFontnameRepresentation​(java.lang.String fontnames)
      • isUseNCEReductions

        public boolean isUseNCEReductions()
      • setUseNCEReductions

        public void setUseNCEReductions​(boolean useNCEReductions)