Class KppADFFormatWriter
java.lang.Object
org.tweetyproject.arg.adf.io.KppADFFormatWriter
KppADFFormatWriter class
- Author:
- Mathias Hofer, Lars Bengel
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic Stringwrite(Map<Argument, AcceptanceCondition> acceptanceConditions) Write acceptanceConditionsstatic voidwriteTo(AbstractDialecticalFramework adf, OutputStream out) The OutputStream is not closed by this method, it is up to the caller.static voidwriteToFile(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
-