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 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