Uses of Interface
org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter.FileHandler
-
Uses of RevisionComparePresenter.FileHandler in org.tweetyproject.beliefdynamics.gui
Modifier and TypeMethodDescriptionvoid
RevisionComparePresenter.setFileHandler(RevisionComparePresenter.FileHandler handler)
Sets a file handler which is responsible to filter the open file dialog and to load the selected file.