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:

java.lang.Iterable<DLPLiteral>, java.util.Collection<DLPLiteral>, java.util.List<DLPLiteral>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<DLPLiteral>, ComplexLogicalFormula, Disjunctable, LogicStructure, SimpleLogicalFormula, DLPElement

public class DLPHead
extends DLPElementAdapter
implements AssociativeFormula<DLPLiteral>, Disjunctable, ComplexLogicalFormula, 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

Field Summary

Fields

Modifier and Type	Field and Description
private AssociativeFormulaSupport<DLPLiteral>	assocSupport

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(java.util.Collection<? extends DLPLiteral> arg0)
boolean	addAll(int index, java.util.Collection<? extends DLPLiteral> c)
void	clear()
DLPHead	clone() Creates a deep copy of this formula
SimpleLogicalFormula	combineWithOr(Disjunctable f)
boolean	contains(java.lang.Object arg0)
boolean	containsAll(java.util.Collection<?> arg0)
<T extends SimpleLogicalFormula> AssociativeFormula<T>	createEmptyFormula()
Signature	createEmptySignature()
boolean	equals(java.lang.Object other)
DLPLiteral	get(int index)
java.util.Set<DLPAtom>	getAtoms() Processes the set of all atoms which appear in this formula
java.lang.String	getEmptySymbol()
java.util.List<DLPLiteral>	getFormulas()
<C extends SimpleLogicalFormula> java.util.Set<C>	getFormulas(java.lang.Class<C> cls) Process the formulas of type C that are children of this associative formula
java.util.SortedSet<DLPLiteral>	getLiterals()
java.lang.String	getOperatorSymbol()
java.lang.Class<? extends Predicate>	getPredicateCls()
java.util.Set<DLPPredicate>	getPredicates() Processes the set of all predicates which appear in this formula
FolSignature	getSignature() Returns the signature of the language of this formula.
java.util.Set<Term<?>>	getTerms()
int	hashCode()
int	indexOf(java.lang.Object o)
boolean	isEmpty()
java.util.Iterator<DLPLiteral>	iterator()
int	lastIndexOf(java.lang.Object o)
java.util.ListIterator<DLPLiteral>	listIterator()
java.util.ListIterator<DLPLiteral>	listIterator(int index)
DLPLiteral	remove(int index)
boolean	remove(java.lang.Object arg0)
boolean	removeAll(java.util.Collection<?> arg0)
boolean	retainAll(java.util.Collection<?> arg0)
DLPLiteral	set(int index, DLPLiteral element)
int	size()
java.util.List<DLPLiteral>	subList(int fromIndex, int toIndex)
DLPHead	substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
java.lang.Object[]	toArray()
<T> T[]	toArray(T[] arg0)
java.lang.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

Field Detail

assocSupport

private AssociativeFormulaSupport<DLPLiteral> assocSupport

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 java.util.Set<DLPAtom> getAtoms()

Description copied from interface: SimpleLogicalFormula

Processes the set of all atoms which appear in this formula

Specified by:

getAtoms in interface SimpleLogicalFormula

Specified by:

getAtoms in interface DLPElement

Returns:

The set of all atoms

getPredicates

public java.util.Set<DLPPredicate> getPredicates()

Description copied from interface: SimpleLogicalFormula

Processes the set of all predicates which appear in this formula

Specified by:

getPredicates in interface SimpleLogicalFormula

Specified by:

getPredicates in interface DLPElement

Returns:

all predicates that appear in this formula

getPredicateCls

public java.lang.Class<? extends Predicate> getPredicateCls()

Specified by:

getPredicateCls in interface SimpleLogicalFormula

Overrides:

getPredicateCls in class DLPElementAdapter

Returns:

The class description of the predicate used by this formula.

getSignature

public FolSignature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Specified by:

getSignature in interface DLPElement

Returns:

the signature of the language of this formula.

getFormulas

public java.util.List<DLPLiteral> getFormulas()

Specified by:

getFormulas in interface AssociativeFormula<DLPLiteral>

Returns:

all the formulas saved as childs in the associative formula

getFormulas

public <C extends SimpleLogicalFormula> java.util.Set<C> getFormulas(java.lang.Class<C> cls)

Description copied from interface: AssociativeFormula

Process the formulas of type C that are children of this associative formula

Specified by:

getFormulas in interface AssociativeFormula<DLPLiteral>

Parameters:

cls - the class structure defining the type of formulas which are searched.

Returns:

A set of formulas of type C which are members of the associative formula

substitute

public DLPHead substitute(Term<?> v,
                          Term<?> t)
                   throws java.lang.IllegalArgumentException

Description copied from interface: ComplexLogicalFormula

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Specified by:

substitute in interface ComplexLogicalFormula

Specified by:

substitute in interface DLPElement

Parameters:

v - the term to be substituted.

t - the term to substitute.

Returns:

a formula where every occurrence of "v" is replaced by "t".

Throws:

java.lang.IllegalArgumentException - if "v" and "t" are of different sorts

combineWithOr

public SimpleLogicalFormula combineWithOr(Disjunctable f)

Specified by:

combineWithOr in interface Disjunctable

Parameters:

f - a formula to be combined with OR and this.

Returns:

a disjunction of this and the given formula.

createEmptyFormula

public <T extends SimpleLogicalFormula> AssociativeFormula<T> createEmptyFormula()

Specified by:

createEmptyFormula in interface AssociativeFormulaSupport.AssociativeSupportBridge

Returns:

an empty version of the AssociativeFormula

createEmptySignature

public Signature createEmptySignature()

Specified by:

createEmptySignature in interface AssociativeFormulaSupport.AssociativeSupportBridge

Returns:

An empty signature of the language of the AssociativeFormula implementation

getOperatorSymbol

public java.lang.String getOperatorSymbol()

Specified by:

getOperatorSymbol in interface AssociativeFormulaSupport.AssociativeSupportBridge

Returns:

A String representing the operator which connects two items of the associative formula.

getEmptySymbol

public java.lang.String getEmptySymbol()

Specified by:

getEmptySymbol in interface AssociativeFormulaSupport.AssociativeSupportBridge

Returns:

A String representing an empty version of the Associative Formula implementation

clone

public DLPHead clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface ComplexLogicalFormula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in interface DLPElement

Specified by:

clone in class DLPElementAdapter

getLiterals

public java.util.SortedSet<DLPLiteral> getLiterals()

Specified by:

getLiterals in interface DLPElement

Returns:

all the literals used in the rule element

equals

public boolean equals(java.lang.Object other)

Specified by:

equals in interface java.util.Collection<DLPLiteral>

Specified by:

equals in interface java.util.List<DLPLiteral>

Specified by:

equals in interface SimpleLogicalFormula

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Collection<DLPLiteral>

Specified by:

hashCode in interface java.util.List<DLPLiteral>

Specified by:

hashCode in interface SimpleLogicalFormula

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

add

public boolean add(DLPLiteral arg0)

Specified by:

add in interface java.util.Collection<DLPLiteral>

Specified by:

add in interface java.util.List<DLPLiteral>

addAll

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

Specified by:

addAll in interface java.util.Collection<DLPLiteral>

Specified by:

addAll in interface java.util.List<DLPLiteral>

clear

public void clear()

Specified by:

clear in interface java.util.Collection<DLPLiteral>

Specified by:

clear in interface java.util.List<DLPLiteral>

contains

public boolean contains(java.lang.Object arg0)

Specified by:

contains in interface java.util.Collection<DLPLiteral>

Specified by:

contains in interface java.util.List<DLPLiteral>

containsAll

public boolean containsAll(java.util.Collection<?> arg0)

Specified by:

containsAll in interface java.util.Collection<DLPLiteral>

Specified by:

containsAll in interface java.util.List<DLPLiteral>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<DLPLiteral>

Specified by:

isEmpty in interface java.util.List<DLPLiteral>

iterator

public java.util.Iterator<DLPLiteral> iterator()

Specified by:

iterator in interface java.lang.Iterable<DLPLiteral>

Specified by:

iterator in interface java.util.Collection<DLPLiteral>

Specified by:

iterator in interface java.util.List<DLPLiteral>

remove

public boolean remove(java.lang.Object arg0)

Specified by:

remove in interface java.util.Collection<DLPLiteral>

Specified by:

remove in interface java.util.List<DLPLiteral>

removeAll

public boolean removeAll(java.util.Collection<?> arg0)

Specified by:

removeAll in interface java.util.Collection<DLPLiteral>

Specified by:

removeAll in interface java.util.List<DLPLiteral>

retainAll

public boolean retainAll(java.util.Collection<?> arg0)

Specified by:

retainAll in interface java.util.Collection<DLPLiteral>

Specified by:

retainAll in interface java.util.List<DLPLiteral>

size

public int size()

Specified by:

size in interface java.util.Collection<DLPLiteral>

Specified by:

size in interface java.util.List<DLPLiteral>

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<DLPLiteral>

Specified by:

toArray in interface java.util.List<DLPLiteral>

toArray

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

Specified by:

toArray in interface java.util.Collection<DLPLiteral>

Specified by:

toArray in interface java.util.List<DLPLiteral>

getTerms

public java.util.Set<Term<?>> getTerms()

Specified by:

getTerms in interface LogicStructure

Returns:

a set containing all terms of this logical structure

add

public void add(int index,
                DLPLiteral element)

Specified by:

add in interface java.util.List<DLPLiteral>

addAll

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

Specified by:

addAll in interface java.util.List<DLPLiteral>

get

public DLPLiteral get(int index)

Specified by:

get in interface java.util.List<DLPLiteral>

indexOf

public int indexOf(java.lang.Object o)

Specified by:

indexOf in interface java.util.List<DLPLiteral>

lastIndexOf

public int lastIndexOf(java.lang.Object o)

Specified by:

lastIndexOf in interface java.util.List<DLPLiteral>

listIterator

public java.util.ListIterator<DLPLiteral> listIterator()

Specified by:

listIterator in interface java.util.List<DLPLiteral>

listIterator

public java.util.ListIterator<DLPLiteral> listIterator(int index)

Specified by:

listIterator in interface java.util.List<DLPLiteral>

remove

public DLPLiteral remove(int index)

Specified by:

remove in interface java.util.List<DLPLiteral>

set

public DLPLiteral set(int index,
                      DLPLiteral element)

Specified by:

set in interface java.util.List<DLPLiteral>

subList

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

Specified by:

subList in interface java.util.List<DLPLiteral>