Uses of Enum
org.tweetyproject.arg.dung.parser.FileFormat
-
Uses of FileFormat in org.tweetyproject.arg.dung.parser
Modifier and TypeMethodDescriptionstatic FileFormat
FileFormat.getFileFormat
(String s) Returns the file format instance that corresponds to the given abbrevationstatic FileFormat
Returns the enum constant of this type with the specified name.static FileFormat[]
FileFormat.values()
Returns an array containing the constants of this enum type, in the order they are declared.Modifier and TypeMethodDescriptionstatic Collection
<FileFormat> FileFormat.getFileFormats
(String s) Returns a collection of file formats parsed from the given string which has to be in the format "[format1,...,formatn]".Modifier and TypeMethodDescriptionstatic AbstractDungParser
AbstractDungParser.getParser
(FileFormat f) Retrieves the parser for the given file format. -
Uses of FileFormat in org.tweetyproject.arg.dung.writer
Modifier and TypeMethodDescriptionstatic AbstractDungWriter
AbstractDungWriter.getWriter
(FileFormat f) Retrieves the writer for the given file format.