Package net.sf.tweety.beliefdynamics.gui
Interface RevisionComparePresenter.FileHandler
-
- Enclosing class:
- RevisionComparePresenter
public static interface RevisionComparePresenter.FileHandlerThis interface is used by the RevisionComparePresenter to handle the file loading. Therefore it provides a FileFilter for the open file dialog and a method which converts the given file in a collection of formulas.- Author:
- Tim Janus
-
-
Method Summary
Modifier and Type Method Description FilegetCurrentDiretory()FileFiltergetFilter()Collection<? extends net.sf.tweety.commons.Formula>load(File file)
-
-
-
Method Detail
-
load
Collection<? extends net.sf.tweety.commons.Formula> load(File file)
-
getFilter
FileFilter getFilter()
-
getCurrentDiretory
File getCurrentDiretory()
-
-