Package org.tweetyproject.commons

Class BeliefSet<T extends Formula,S extends Signature>

java.lang.Object

org.tweetyproject.commons.BeliefSet<T,S>

Type Parameters:

T - The type of the beliefs in this belief set.

S - The type of signature attached to this belief set.

All Implemented Interfaces:

Iterable<T>, Collection<T>, BeliefBase

Direct Known Subclasses:

AbstractBipolarFramework, ActionDescription, ActionQuerySet, ArgumentationKnowledgeBase, ClBeliefSet, CrMasBeliefSet, DefeasibleLogicProgram, DlBeliefSet, DungTheory, FolBeliefSet, MarkovLogicNetwork, MlBeliefSet, PclBeliefSet, PlBeliefSet, RclBeliefSet, RpclBeliefSet, SetAf, SimplePlLogicDeductiveKnowledgebase

public abstract class BeliefSet<T extends Formula,S extends Signature>
extends Object
implements BeliefBase, Collection<T>

This class models a belief set, i.e. a set of formulae of some formalism, and a signature.

Author:

Matthias Thimm, Tim Janus, Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static final boolean	EQUALS_USES_SIGNATURE	Flag that determines whether Object.equals(Object) checks only for equality of the beliefs in the belief sets or whether it also checks for equality of the signatures attached to the belief sets.

Constructor Summary

Constructors

Constructor	Description
BeliefSet()	Creates a new (empty) belief set.
BeliefSet(Collection<? extends T> c)	Creates a new belief set with the given collection of formulae.
BeliefSet(S sig)	Creates a new belief set with the given type of signature.

Method Summary

Modifier and Type	Method	Description
boolean	add(T f)
boolean	add(T... formulas)	Adds the specified elements to the end of this collection (optional operation).
boolean	addAll(Collection<? extends T> c)
void	clear()
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	equals(Object obj)
S	getSignature()	Returns a copy of the signature that is attached to his belief base (it is always equal to or larger than BeliefBase.getMinimalSignature()).
int	hashCode()
boolean	isEmpty()
Iterator<T>	iterator()
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
void	setSignature(S sig)	Sets the signature that is attached to his belief base to a copy of the given signature.
int	size()
Object[]	toArray()
<R> R[]	toArray(R[] a)
String	toString()
String	toString(boolean showSignature)	returns a string representation of this belief set

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.tweetyproject.commons.BeliefBase

getMinimalSignature

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Field Details

EQUALS_USES_SIGNATURE

public static final boolean EQUALS_USES_SIGNATURE

Flag that determines whether Object.equals(Object) checks only for equality of the beliefs in the belief sets or whether it also checks for equality of the signatures attached to the belief sets.

See Also:

• Constant Field Values

Constructor Details

BeliefSet

public BeliefSet()

Creates a new (empty) belief set.

BeliefSet

public BeliefSet(Collection<? extends T> c)

Creates a new belief set with the given collection of formulae.

Parameters:

c - a collection of formulae.

BeliefSet

public BeliefSet(S sig)

Creates a new belief set with the given type of signature.

Parameters:

sig - a signature

Method Details

getSignature

public S getSignature()

Returns a copy of the signature that is attached to his belief base (it is always equal to or larger than BeliefBase.getMinimalSignature()).

Returns:

the signature of this knowledge base.

setSignature

public void setSignature(S sig)
                  throws IllegalArgumentException

Sets the signature that is attached to his belief base to a copy of the given signature.

Parameters:

sig - a signature

Throws:

IllegalArgumentException - if the given signature is smaller in size than the belief base's formulas' signature.

add

public boolean add(T f)

Specified by:

add in interface Collection<T extends Formula>

add

public boolean add(T... 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

addAll

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

Specified by:

addAll in interface Collection<T extends Formula>

clear

public void clear()

Specified by:

clear in interface Collection<T extends Formula>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<T extends Formula>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<T extends Formula>

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<T extends Formula>

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<T extends Formula>

Overrides:

equals in class Object

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<T extends Formula>

iterator

public Iterator<T> iterator()

Specified by:

iterator in interface Collection<T extends Formula>

Specified by:

iterator in interface Iterable<T extends Formula>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<T extends Formula>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<T extends Formula>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<T extends Formula>

size

public int size()

Specified by:

size in interface Collection<T extends Formula>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<T extends Formula>

toArray

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

Specified by:

toArray in interface Collection<T extends Formula>

toString

public String toString()

Specified by:

toString in interface BeliefBase

Overrides:

toString in class Object

toString

public String toString(boolean showSignature)

returns a string representation of this belief set

Parameters:

showSignature - whether to show the underlying signature

Returns:

a string representation of this belief set