EafCnfWriter

java.lang.Object

org.tweetyproject.arg.eaf.writer.AbstractEafWriter

org.tweetyproject.arg.eaf.writer.EafCnfWriter

public class EafCnfWriter extends AbstractEafWriter

Constructor Summary

Constructors

Constructor

Description

EafCnfWriter()

Default
Method Summary

Modifier and Type

Method

Description

void

write(EpistemicArgumentationFramework eaf, File f)

Writes the given epistemic argumentation framework to the specified file.

Methods inherited from class org.tweetyproject.arg.eaf.writer.AbstractEafWriter
getWriter

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- EafCnfWriter
  
  public EafCnfWriter()
  
  Default
Method Details
- write
  
  public void write(EpistemicArgumentationFramework eaf, File f) throws IOException
  
  Description copied from class: AbstractEafWriter
  
  Writes the given epistemic argumentation framework to the specified file. If the file already exists, it will be overwritten.
  
  Specified by:
  
  write in class AbstractEafWriter
  
  Parameters:
  
  eaf - the epistemic argumentation framework to be written
  
  f - the file to write to
  
  Throws:
  
  IOException - if an error occurs during file writing