Class ASPBodyElement

java.lang.Object
org.tweetyproject.lp.asp.syntax.ASPElement
org.tweetyproject.lp.asp.syntax.ASPBodyElement
All Implemented Interfaces:
Formula, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula
Direct Known Subclasses:
AggregateAtom, ASPLiteral, ComparativeAtom, DefaultNegation, OptimizationStatement

public abstract class ASPBodyElement extends ASPElement
This class is a common base class for ASP formulas that can be part of an ASP rule body (premise of a rule):
  • Literals (i.e. atoms or strictly negated atoms)
  • Built-in atoms (i.e. terms connected by comparative operators like == and !=)
  • Aggregate atoms
  • Default negations of literals or aggregates (i.e. 'not a' a for a literal or aggregate a)
Note: In the ASP-Core-2 standard, the formulas represented by this class are also referred to as 'Literals'. In the TweetyProject ASP library, literals are only atoms or the strict negations of atoms.
Author:
Tim Janus, Anna Gessler