Class DLVWriter

java.lang.Object
org.tweetyproject.lp.asp.writer.DLVWriter

public class DLVWriter extends Object
Prints ASP programs and single rules to the DLV input format (http://www.dlvsystem.com/html/DLV_User_Manual.html).
Author:
Anna Gessler
See Also:
  • Constructor Details

    • DLVWriter

      public DLVWriter(Writer writer)
      Create a new DLVWriter with the given writer.
      Parameters:
      writer - a writer
    • DLVWriter

      public DLVWriter()
      Create a new DLVWriter.
  • Method Details