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 Details

    • ASPGrounder

      public ASPGrounder()
  • 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