Class ASPHead

java.lang.Object
org.tweetyproject.lp.asp.syntax.ASPElement
org.tweetyproject.lp.asp.syntax.ASPHead
All Implemented Interfaces:
Formula, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula
Direct Known Subclasses:
AggregateHead, ChoiceHead, ClassicalHead

public abstract class ASPHead extends ASPElement
This class is a common base class for ASP formulas that can be part of an ASP rule head.
Author:
Anna Gessler
  • Constructor Details

    • ASPHead

      public ASPHead()
  • Method Details

    • isEmpty

      public abstract boolean isEmpty()
      Returns:
      true if the head is empty, false otherwise
    • getLiterals

      public abstract Collection<? extends ASPLiteral> getLiterals()
      Returns all literals in this element in form of a SortedSet. Literals are atoms or strict negations of atoms.
      Returns:
      all the literals used in the rule element