Class TgfFilenameFilter
java.lang.Object
org.tweetyproject.arg.dung.parser.TgfFilenameFilter
- All Implemented Interfaces:
FilenameFilter
Filename filter for TGF files.
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
TgfFilenameFilter
public TgfFilenameFilter()
-
-
Method Details
-
accept
- Specified by:
accept
in interfaceFilenameFilter
-