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 Summary

Constructors

Constructor

Description

GringoGrounder(String path)

GringoGrounder(String path, Shell shell)
Method Summary

Modifier and Type

Method

Description

Program

getGroundProgram(Program p)

Computes an equivalent ground program for the given program.

String

getOptions()

String

getOutput()

String

getPathToGrounder()

void

setOptions(String options)

Set additional command line options for gringo.

void

setPathToGrounder(String pathToGrounder)

Set the path to the gringo binary

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

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