Class GringoGrounder

java.lang.Object
org.tweetyproject.lp.asp.grounder.ASPGrounder
org.tweetyproject.lp.asp.grounder.GringoGrounder

public class GringoGrounder extends ASPGrounder
Invokes Gringo (Part of the Potassco project), an ASP system that grounds logic programs.
Author:
Anna Gessler
  • Constructor Details

    • GringoGrounder

      public GringoGrounder(String path, Shell shell)
      Parameters:
      path - GringoGrounder
      shell - GringoGrounder
    • GringoGrounder

      public GringoGrounder(String path)
      Parameters:
      path - GringoGrounder
  • Method Details

    • getPathToGrounder

      public String getPathToGrounder()
      Returns:
      the path to the gringo binary
    • setPathToGrounder

      public void setPathToGrounder(String pathToGrounder)
      Set the path to the gringo binary
      Parameters:
      pathToGrounder - setPathToGrounder
    • getOptions

      public String getOptions()
      Returns:
      additional command line options for gringo
    • setOptions

      public void setOptions(String options)
      Set additional command line options for gringo.
      Parameters:
      options - setOptions
    • getOutput

      public String getOutput()
      Returns:
      output of last gringo call, in aspif format. Can be piped directly to clasp.
    • getGroundProgram

      public Program getGroundProgram(Program p)
      Description copied from class: ASPGrounder
      Computes an equivalent ground program for the given program.
      Specified by:
      getGroundProgram in class ASPGrounder
      Parameters:
      p - a program
      Returns:
      equivalent ground (variable-free) version of p