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 Summary

Constructors

Constructor

Description

ASPHead()

Default Constructor
Method Summary

Modifier and Type

Method

Description

abstract Collection<? extends ASPLiteral>

getLiterals()

Returns all literals in this element in form of a SortedSet.

abstract boolean

isEmpty()

Return true if the head is empty, false otherwise

Methods inherited from class org.tweetyproject.lp.asp.syntax.ASPElement
clone, containsTermsOfType, exchange, getAtoms, getPredicateCls, getPredicates, getSignature, isGround, isWellFormed, printToClingo, printToDLV, substitute, substitute

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

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure
getTerms, getTerms

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
equals, hashCode, isLiteral

Constructor Details
- ASPHead
  
  public ASPHead()
  
  Default Constructor
Method Details
- isEmpty
  
  public abstract boolean isEmpty()
  
  Return true if the head is empty, false otherwise
  
  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