Uses of Class
net.sf.tweety.arg.dung.parser.FileFormat
-
Packages that use FileFormat Package Description net.sf.tweety.arg.dung.parser net.sf.tweety.arg.dung.writer -
-
Uses of FileFormat in net.sf.tweety.arg.dung.parser
Methods in net.sf.tweety.arg.dung.parser that return FileFormat Modifier and Type Method Description static FileFormat
FileFormat. getFileFormat(java.lang.String s)
Returns the file format instance that corresponds to the given abbrevationstatic FileFormat
FileFormat. valueOf(java.lang.String name)
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 net.sf.tweety.arg.dung.parser that return types with arguments of type FileFormat Modifier and Type Method Description static java.util.Collection<FileFormat>
FileFormat. getFileFormats(java.lang.String s)
Returns a collection of file formats parsed from the given string which has to be in the format "[format1,...,formatn]".Methods in net.sf.tweety.arg.dung.parser with parameters of type FileFormat Modifier and Type Method Description static AbstractDungParser
AbstractDungParser. getParser(FileFormat f)
Retrieves the parser for the given file format. -
Uses of FileFormat in net.sf.tweety.arg.dung.writer
Methods in net.sf.tweety.arg.dung.writer with parameters of type FileFormat Modifier and Type Method Description static AbstractDungWriter
AbstractDungWriter. getWriter(FileFormat f)
Retrieves the writer for the given file format.
-