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 FileFormatFileFormat. getFileFormat(java.lang.String s)Returns the file format instance that corresponds to the given abbrevationstatic FileFormatFileFormat. 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 AbstractDungParserAbstractDungParser. 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 AbstractDungWriterAbstractDungWriter. getWriter(FileFormat f)Retrieves the writer for the given file format.
-