Package de.saar.chorus.ubench

Class Ubench

java.lang.Object
de.saar.chorus.ubench.Ubench
public class Ubench extends Object
The main class of Ubench. This implements the "singleton pattern", so this class provides one (and only one) instance of Ubench.
Author:
Alexander Koller, Michaela Regneri

  • Field Details

    • reduceAutomatically

      public boolean reduceAutomatically

  • Method Details

    • resetSlider

      public void resetSlider()
      Aligning the slider with the currently shown graph. (if there is one).

    • setPreferenceDialogVisible

      public void setPreferenceDialogVisible(boolean visible)

    • showProgressBar

      public void showProgressBar()
      Showing the bar for the solving process.

    • getWindow

      public JFrame getWindow()
      Returns:
      the main window itself

    • closeAllTabs

      public void closeAllTabs()
      Closing all tabs.

    • quit

      public void quit()
      Closing Ubench.

    • addJDomGraphTab

      public boolean addJDomGraphTab(String label, DomGraph graph, NodeLabels labels)
      Allows to set up a new Tab by submitting the DomGraph to display and a NodeLabels object along with the graph's name.
      Parameters:
      label - name of the graph (resp. the tab)
      graph - the DomGraph to display
      labels - the storage for the node labels
      Returns:
      true if the DomGraph was successfully translated into a JDomGraph

    • addSolvedFormTab

      public boolean addSolvedFormTab(String label, DomGraph sf, SolvedFormIterator sfi, long no, long all, DomGraph graph, NodeLabels labels, String graphname, boolean atEnd)
      Allows to set up a new Tab by submitting the DomGraph in solved form to display and a NodeLabels object along with the graph's name and some information about the source graph. Note: This is public because the ChartViewerListener uses it.
      Parameters:
      label - the label of the tab
      sf - the graph in solved form
      sfi - the solved form iterator which has produced the sf
      no - the index of the solved forms
      all - the number of solved forms the source graph has
      graph - the source graph
      labels - the labels of the graph (and the solved form)
      graphname - the name of the solved form
      atEnd - if set to true, this tab will be the last tab. If set to false, it will succeed the visible tab immediately.
      Returns:

    • main

      public static void main(String[] args)
      Starting Ubench, optionally with files to open on command line
      Parameters:
      args - command line arguments

    • getListener

      public de.saar.chorus.ubench.CommandListener getListener()
      Returns:
      Returns the listener.

    • getInstance

      public static Ubench getInstance()
      Returns the (only) instance of the Ubench class. Creates a new Ubench object if there was none created yet, returns the already created instance otherwise.
      Returns:
      the single Ubench instance

    • getRelativeNormalFormsComputer

      public RelativeNormalFormsComputer getRelativeNormalFormsComputer()
      Returns:
      Returns the eqs.

    • setRelativeNormalFormsComputer

      public void setRelativeNormalFormsComputer(RelativeNormalFormsComputer rnfc, String name)
      Parameters:
      eqs - The eqs to set.

    • getEqsname

      public String getEqsname()
      Returns:
      Returns the eqsname.

    • isRelativeNormalFormsComputerLoaded

      public boolean isRelativeNormalFormsComputerLoaded()

    • getLastPath

      public File getLastPath()
      Returns:
      Returns the lastPath.

    • setLastPath

      public void setLastPath(File lastPath)
      Parameters:
      lastPath - The lastPath to set.

    • displayAboutDialog

      public void displayAboutDialog()

    • getVisibleDomGraph

      public DomGraph getVisibleDomGraph()

    • getVisibleNodeLabels

      public NodeLabels getVisibleNodeLabels()