net.sf.tweety.lp.asp.syntax

Class DLPHead

java.lang.Object

net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

net.sf.tweety.lp.asp.syntax.DLPElementAdapter

net.sf.tweety.lp.asp.syntax.DLPHead

All Implemented Interfaces:

Iterable<DLPLiteral>, Collection<DLPLiteral>, List<DLPLiteral>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<DLPLiteral>, 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, DLPElement

public class DLPHead
extends DLPElementAdapter
implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<DLPLiteral>, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

This formula represents the head of an disjunctive rule which is a disjunction of ELP literals. An ELP itself only allows one literal in the head.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor and Description
DLPHead() Default-Ctor: Generates empty head
DLPHead(DLPHead other) Copy-Ctor: Generates a deep copy from the given head
DLPHead(DLPLiteral literal) Ctor: Generates a head with one literal

Method Summary

Modifier and Type	Method and Description
boolean	add(DLPLiteral arg0)
void	add(int index, DLPLiteral element)
boolean	addAll(Collection<? extends DLPLiteral> arg0)
boolean	addAll(int index, Collection<? extends DLPLiteral> c)
void	clear()
DLPHead	clone()
net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula	combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)
boolean	contains(Object arg0)
boolean	containsAll(Collection<?> arg0)
DLPHead	createEmptyFormula()
net.sf.tweety.commons.Signature	createEmptySignature()
boolean	equals(Object other)
DLPLiteral	get(int index)
Set<DLPAtom>	getAtoms()
String	getEmptySymbol()
List<DLPLiteral>	getFormulas()
<C extends net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula> Set<C>	getFormulas(Class<C> cls)
SortedSet<DLPLiteral>	getLiterals()
String	getOperatorSymbol()
Class<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicateCls()
Set<DLPPredicate>	getPredicates()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
int	hashCode()
int	indexOf(Object o)
boolean	isEmpty()
Iterator<DLPLiteral>	iterator()
int	lastIndexOf(Object o)
ListIterator<DLPLiteral>	listIterator()
ListIterator<DLPLiteral>	listIterator(int index)
DLPLiteral	remove(int index)
boolean	remove(Object arg0)
boolean	removeAll(Collection<?> arg0)
boolean	retainAll(Collection<?> arg0)
DLPLiteral	set(int index, DLPLiteral element)
int	size()
List<DLPLiteral>	subList(int fromIndex, int toIndex)
DLPHead	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
Object[]	toArray()
<T> T[]	toArray(T[] arg0)
String	toString()

Methods inherited from class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

containsTermsOfType, exchange, getTerms, isGround, isLiteral, isWellFormed, substitute

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.List

replaceAll, sort, spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

exchange, isGround, isWellFormed, substitute

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

isLiteral

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

containsTermsOfType, getTerms

Constructor Detail

DLPHead

public DLPHead()

Default-Ctor: Generates empty head

DLPHead

public DLPHead(DLPLiteral literal)

Ctor: Generates a head with one literal

Parameters:

literal - The literal of the head

DLPHead

public DLPHead(DLPHead other)

Copy-Ctor: Generates a deep copy from the given head

Parameters:

other - The DLPHead object which acts as source for the copy operation.

Method Detail

getAtoms

public Set<DLPAtom> getAtoms()

Specified by:

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

Specified by:

getAtoms in interface DLPElement

getPredicates

public Set<DLPPredicate> getPredicates()

Specified by:

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

Specified by:

getPredicates in interface DLPElement

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 DLPElementAdapter

getSignature

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

Specified by:

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

Specified by:

getSignature in interface DLPElement

getFormulas

public List<DLPLiteral> getFormulas()

Specified by:

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

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

substitute

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

Specified by:

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

Specified by:

substitute in interface DLPElement

Throws:

IllegalArgumentException

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

createEmptyFormula

public DLPHead createEmptyFormula()

Specified by:

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

createEmptySignature

public net.sf.tweety.commons.Signature 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

clone

public DLPHead 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 interface DLPElement

Specified by:

clone in class DLPElementAdapter

getLiterals

public SortedSet<DLPLiteral> getLiterals()

Specified by:

getLiterals in interface DLPElement

Returns:

all the literals used in the rule element

equals

public boolean equals(Object other)

Specified by:

equals in interface Collection<DLPLiteral>

Specified by:

equals in interface List<DLPLiteral>

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

Specified by:

hashCode in interface List<DLPLiteral>

Specified by:

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

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

add

public boolean add(DLPLiteral arg0)

Specified by:

add in interface Collection<DLPLiteral>

Specified by:

add in interface List<DLPLiteral>

addAll

public boolean addAll(Collection<? extends DLPLiteral> arg0)

Specified by:

addAll in interface Collection<DLPLiteral>

Specified by:

addAll in interface List<DLPLiteral>

clear

public void clear()

Specified by:

clear in interface Collection<DLPLiteral>

Specified by:

clear in interface List<DLPLiteral>

contains

public boolean contains(Object arg0)

Specified by:

contains in interface Collection<DLPLiteral>

Specified by:

contains in interface List<DLPLiteral>

containsAll

public boolean containsAll(Collection<?> arg0)

Specified by:

containsAll in interface Collection<DLPLiteral>

Specified by:

containsAll in interface List<DLPLiteral>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<DLPLiteral>

Specified by:

isEmpty in interface List<DLPLiteral>

iterator

public Iterator<DLPLiteral> iterator()

Specified by:

iterator in interface Iterable<DLPLiteral>

Specified by:

iterator in interface Collection<DLPLiteral>

Specified by:

iterator in interface List<DLPLiteral>

remove

public boolean remove(Object arg0)

Specified by:

remove in interface Collection<DLPLiteral>

Specified by:

remove in interface List<DLPLiteral>

removeAll

public boolean removeAll(Collection<?> arg0)

Specified by:

removeAll in interface Collection<DLPLiteral>

Specified by:

removeAll in interface List<DLPLiteral>

retainAll

public boolean retainAll(Collection<?> arg0)

Specified by:

retainAll in interface Collection<DLPLiteral>

Specified by:

retainAll in interface List<DLPLiteral>

size

public int size()

Specified by:

size in interface Collection<DLPLiteral>

Specified by:

size in interface List<DLPLiteral>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<DLPLiteral>

Specified by:

toArray in interface List<DLPLiteral>

toArray

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

Specified by:

toArray in interface Collection<DLPLiteral>

Specified by:

toArray in interface List<DLPLiteral>

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

add

public void add(int index,
                DLPLiteral element)

Specified by:

add in interface List<DLPLiteral>

addAll

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

Specified by:

addAll in interface List<DLPLiteral>

get

public DLPLiteral get(int index)

Specified by:

get in interface List<DLPLiteral>

indexOf

public int indexOf(Object o)

Specified by:

indexOf in interface List<DLPLiteral>

lastIndexOf

public int lastIndexOf(Object o)

Specified by:

lastIndexOf in interface List<DLPLiteral>

listIterator

public ListIterator<DLPLiteral> listIterator()

Specified by:

listIterator in interface List<DLPLiteral>

listIterator

public ListIterator<DLPLiteral> listIterator(int index)

Specified by:

listIterator in interface List<DLPLiteral>

remove

public DLPLiteral remove(int index)

Specified by:

remove in interface List<DLPLiteral>

set

public DLPLiteral set(int index,
                      DLPLiteral element)

Specified by:

set in interface List<DLPLiteral>

subList

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

Specified by:

subList in interface List<DLPLiteral>