Package net.sf.tweety.lp.asp.syntax

Class ASPHead

java.lang.Object

net.sf.tweety.lp.asp.syntax.ASPElement

net.sf.tweety.lp.asp.syntax.ASPHead

All Implemented Interfaces:

Iterable<ASPLiteral>, Collection<ASPLiteral>, List<ASPLiteral>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<ASPLiteral>, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class ASPHead
extends ASPElement
implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<ASPLiteral>, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

This formula represents the head of an disjunctive rule which is a disjunction of literals.

Author:

Tim Janus, Anna Gessler

Constructor Summary

Constructors

Constructor	Description
ASPHead()	Empty Constructor.
ASPHead(List<ASPLiteral> head_elements)	Creates a new head with the given elements.
ASPHead(ASPHead other)	Copy-Constructor
ASPHead(ASPLiteral head)	Creates a new head with a single element.

Method Summary

Modifier and Type	Method	Description
void	add(int index, ASPLiteral element)
boolean	add(ASPLiteral e)
boolean	add(ASPLiteral... formulas)	Adds the specified elements to the end of this collection (optional operation).
boolean	addAll(int index, Collection<? extends ASPLiteral> c)
boolean	addAll(Collection<? extends ASPLiteral> c)
void	clear()
ASPHead	clone()
net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula	combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
<C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> boolean	containsTermsOfType(Class<C> cls)
ASPHead	createEmptyFormula()
net.sf.tweety.logics.fol.syntax.FolSignature	createEmptySignature()
boolean	equals(Object other)
ASPHead	exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
ASPLiteral	get(int index)
Set<ASPAtom>	getAtoms()
String	getEmptySymbol()
List<ASPLiteral>	getFormulas()
<C extends net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula> Set<C>	getFormulas(Class<C> cls)
SortedSet<ASPLiteral>	getLiterals()	Returns all literals in this element in form of a SortedSet.
String	getOperatorSymbol()
Class<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicateCls()
Set<net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
<C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C>	getTerms(Class<C> cls)
int	hashCode()
int	indexOf(Object o)
boolean	isEmpty()
boolean	isGround()
boolean	isLiteral()
boolean	isWellFormed()
Iterator<ASPLiteral>	iterator()
int	lastIndexOf(Object o)
ListIterator<ASPLiteral>	listIterator()
ListIterator<ASPLiteral>	listIterator(int index)
ASPLiteral	remove(int index)
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
ASPLiteral	set(int index, ASPLiteral element)
int	size()
List<ASPLiteral>	subList(int fromIndex, int toIndex)
ASPHead	substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
ASPHead	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)
Object[]	toArray()
<T> T[]	toArray(T[] a)
String	toString()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.List

replaceAll, sort, spliterator

Constructor Detail

ASPHead

public ASPHead()

Empty Constructor.

ASPHead

public ASPHead(List<ASPLiteral> head_elements)

Creates a new head with the given elements.

Parameters:

head_elements - list of literals

ASPHead

public ASPHead(ASPLiteral head)

Creates a new head with a single element.

Parameters:

head - an ASP literal

ASPHead

public ASPHead(ASPHead other)

Copy-Constructor

Parameters:

other - another ASPHead

Method Detail

isGround

public boolean isGround()

Specified by:

isGround in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Overrides:

isGround in class ASPElement

isWellFormed

public boolean isWellFormed()

Specified by:

isWellFormed in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Overrides:

isWellFormed in class ASPElement

getPredicateCls

public Class<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicateCls()

Specified by:

getPredicateCls in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

getPredicateCls in class ASPElement

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getTerms

public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

getTerms

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C> getTerms(Class<C> cls)

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

containsTermsOfType

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> boolean containsTermsOfType(Class<C> cls)

Specified by:

containsTermsOfType in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

Overrides:

containsTermsOfType in class ASPElement

getPredicates

public Set<net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

Specified by:

getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getPredicates in class ASPElement

getAtoms

public Set<ASPAtom> getAtoms()

Specified by:

getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getAtoms in class ASPElement

substitute

public ASPHead substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t,
                          net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in class ASPElement

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in class ASPElement

clone

public ASPHead clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in class ASPElement

add

public boolean add(ASPLiteral e)

Specified by:

add in interface Collection<ASPLiteral>

Specified by:

add in interface List<ASPLiteral>

add

public void add(int index,
                ASPLiteral element)

Specified by:

add in interface List<ASPLiteral>

addAll

public boolean addAll(Collection<? extends ASPLiteral> c)

Specified by:

addAll in interface Collection<ASPLiteral>

Specified by:

addAll in interface List<ASPLiteral>

addAll

public boolean addAll(int index,
                      Collection<? extends ASPLiteral> c)

Specified by:

addAll in interface List<ASPLiteral>

add

public boolean add(ASPLiteral... formulas)

Adds the specified elements to the end of this collection (optional operation).

Parameters:

formulas - to be appended to collection

Returns:

true if all elements were added, false otherwise

clear

public void clear()

Specified by:

clear in interface Collection<ASPLiteral>

Specified by:

clear in interface List<ASPLiteral>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<ASPLiteral>

Specified by:

contains in interface List<ASPLiteral>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<ASPLiteral>

Specified by:

containsAll in interface List<ASPLiteral>

get

public ASPLiteral get(int index)

Specified by:

get in interface List<ASPLiteral>

indexOf

public int indexOf(Object o)

Specified by:

indexOf in interface List<ASPLiteral>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<ASPLiteral>

Specified by:

isEmpty in interface List<ASPLiteral>

iterator

public Iterator<ASPLiteral> iterator()

Specified by:

iterator in interface Collection<ASPLiteral>

Specified by:

iterator in interface Iterable<ASPLiteral>

Specified by:

iterator in interface List<ASPLiteral>

lastIndexOf

public int lastIndexOf(Object o)

Specified by:

lastIndexOf in interface List<ASPLiteral>

listIterator

public ListIterator<ASPLiteral> listIterator()

Specified by:

listIterator in interface List<ASPLiteral>

listIterator

public ListIterator<ASPLiteral> listIterator(int index)

Specified by:

listIterator in interface List<ASPLiteral>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<ASPLiteral>

Specified by:

remove in interface List<ASPLiteral>

remove

public ASPLiteral remove(int index)

Specified by:

remove in interface List<ASPLiteral>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<ASPLiteral>

Specified by:

removeAll in interface List<ASPLiteral>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<ASPLiteral>

Specified by:

retainAll in interface List<ASPLiteral>

set

public ASPLiteral set(int index,
                      ASPLiteral element)

Specified by:

set in interface List<ASPLiteral>

size

public int size()

Specified by:

size in interface Collection<ASPLiteral>

Specified by:

size in interface List<ASPLiteral>

subList

public List<ASPLiteral> subList(int fromIndex,
                                int toIndex)

Specified by:

subList in interface List<ASPLiteral>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<ASPLiteral>

Specified by:

toArray in interface List<ASPLiteral>

toArray

public <T> T[] toArray(T[] a)

Specified by:

toArray in interface Collection<ASPLiteral>

Specified by:

toArray in interface List<ASPLiteral>

getFormulas

public List<ASPLiteral> getFormulas()

Specified by:

getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<ASPLiteral>

getFormulas

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula> Set<C> getFormulas(Class<C> cls)

Specified by:

getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<ASPLiteral>

createEmptyFormula

public ASPHead createEmptyFormula()

Specified by:

createEmptyFormula in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

createEmptySignature

public net.sf.tweety.logics.fol.syntax.FolSignature createEmptySignature()

Specified by:

createEmptySignature in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

getOperatorSymbol

public String getOperatorSymbol()

Specified by:

getOperatorSymbol in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

getEmptySymbol

public String getEmptySymbol()

Specified by:

getEmptySymbol in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

combineWithOr

public net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)

Specified by:

combineWithOr in interface net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable

toString

public String toString()

Overrides:

toString in class Object

substitute

public ASPHead substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
                   throws IllegalArgumentException

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Overrides:

substitute in class ASPElement

Throws:

IllegalArgumentException

exchange

public ASPHead exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                        net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
                 throws IllegalArgumentException

Specified by:

exchange in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Overrides:

exchange in class ASPElement

Throws:

IllegalArgumentException

getLiterals

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

equals

public boolean equals(Object other)

Specified by:

equals in interface Collection<ASPLiteral>

Specified by:

equals in interface List<ASPLiteral>

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

equals in class Object

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<ASPLiteral>

Specified by:

hashCode in interface List<ASPLiteral>

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

hashCode in class Object