Uses of Enum
org.tweetyproject.arg.dung.parser.FileFormat
Packages that use FileFormat
-
Uses of FileFormat in org.tweetyproject.arg.dung.parser
Methods in org.tweetyproject.arg.dung.parser that return FileFormatModifier 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.Methods in org.tweetyproject.arg.dung.parser that return types with arguments of type FileFormatModifier 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]".Methods in org.tweetyproject.arg.dung.parser with parameters of type FileFormatModifier and TypeMethodDescriptionstatic AbstractDungParser
AbstractDungParser.getParser
(FileFormat f) Retrieves the parser for the given file format. -
Uses of FileFormat in org.tweetyproject.arg.dung.writer
Methods in org.tweetyproject.arg.dung.writer with parameters of type FileFormatModifier and TypeMethodDescriptionstatic AbstractDungWriter
AbstractDungWriter.getWriter
(FileFormat f) Retrieves the writer for the given file format.