Class TgfFilenameFilter

java.lang.Object
org.tweetyproject.arg.dung.parser.TgfFilenameFilter
All Implemented Interfaces:
FilenameFilter

public class TgfFilenameFilter extends Object implements FilenameFilter
Filename filter for TGF files.
Author:
Matthias Thimm
  • Constructor Details

    • TgfFilenameFilter

      public TgfFilenameFilter()
  • Method Details