Package org.tweetyproject.arg.adf.io
Class KppADFFormatWriter
java.lang.Object
org.tweetyproject.arg.adf.io.KppADFFormatWriter
KppADFFormatWriter class
- Author:
- Mathias Hofer, Lars Bengel
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic String
write
(Map<Argument, AcceptanceCondition> acceptanceConditions) Write acceptanceConditionsstatic void
writeTo
(AbstractDialecticalFramework adf, OutputStream out) The OutputStream is not closed by this method, it is up to the caller.static void
writeToFile
(AbstractDialecticalFramework adf, File file) Write to file
-
Constructor Details
-
KppADFFormatWriter
public KppADFFormatWriter()
-
-
Method Details
-
write
Write acceptanceConditions- Parameters:
acceptanceConditions
- condition- Returns:
- written string
-
writeTo
The OutputStream is not closed by this method, it is up to the caller.- Parameters:
adf
- adfout
- out
-
writeToFile
public static void writeToFile(AbstractDialecticalFramework adf, File file) throws FileNotFoundException Write to file- Parameters:
adf
- adffile
- file- Throws:
FileNotFoundException
- File Not Found Exception
-