Class ClingoWriter

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

public class ClingoWriter extends Object
Prints ASP programs and single rules to the Clingo input format (https://potassco.org/clingo/). The Clingo input format adheres (mostly) to the ASP-Core-2 language standard.
Author:
Anna Gessler
See Also:
  • Constructor Details

    • ClingoWriter

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

      public ClingoWriter()
      Create a new ClingoWriter.
    • ClingoWriter

      public ClingoWriter(Writer writer, boolean usePredicateWhitelist)
      Create a new ClingoWriter with the given writer and options.
      Parameters:
      writer -
      usePredicateWhitelist - if set to true, irrelevant atoms are hidden from the output using clingo's #show statement.
  • Method Details

    • printProgram

      public void printProgram(Program p) throws IOException
      Prints the given program in clingo format.
      Parameters:
      p - a program
      Throws:
      IOException - if an IO issue occurs.
    • close

      public void close() throws IOException
      Throws:
      IOException
    • usePredicateWhitelist

      public void usePredicateWhitelist(boolean b)