Package org.tweetyproject.lp.asp.grounder

Class ASPGrounder

java.lang.Object

org.tweetyproject.lp.asp.grounder.ASPGrounder

Direct Known Subclasses:

GringoGrounder

public abstract class ASPGrounder
extends Object

This class provides a common interface for asp grounders. For a given asp program, a grounder computes an equivalent ground program (= equivalent program without variables).

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
ASPGrounder()	Default Constructor

Method Summary

Modifier and Type	Method	Description
abstract Program	getGroundProgram(Program p)	Computes an equivalent ground program for the given program.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ASPGrounder

public ASPGrounder()

Default Constructor

Method Details

getGroundProgram

public abstract Program getGroundProgram(Program p)

Computes an equivalent ground program for the given program.

Parameters:

p - a program

Returns:

equivalent ground (variable-free) version of p