net.sf.tweety.commons

Class BeliefSet<T extends Formula>

java.lang.Object

net.sf.tweety.commons.BeliefSet<T>

Type Parameters:

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

All Implemented Interfaces:

java.lang.Iterable<T>, java.util.Collection<T>, BeliefBase

Direct Known Subclasses:

ActionDescription, ActionQuerySet, AnswerSet, ArgumentationKnowledgeBase, ClBeliefSet, CrMasBeliefSet, DefeasibleLogicProgram, DungTheory, FolBeliefSet, MarkovLogicNetwork, ModalBeliefSet, PclBeliefSet, PlBeliefSet, RclBeliefSet, RpclBeliefSet, SimplePlLogicDeductiveKnowledgebase

public abstract class BeliefSet<T extends Formula>
extends java.lang.Object
implements BeliefBase, java.util.Collection<T>

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

Author:

Matthias Thimm, Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<T>	formulas The set of formulas of this belief base.

Constructor Summary

Constructors

Constructor and Description
BeliefSet() Creates a new (empty) belief set.
BeliefSet(java.util.Collection<? extends T> c) Creates a new belief set with the given collection of formulae.

Method Summary

Modifier and Type	Method and Description
boolean	add(T f)
boolean	addAll(java.util.Collection<? extends T> c)
void	clear()
boolean	contains(java.lang.Object o)
boolean	containsAll(java.util.Collection<?> c)
boolean	equals(java.lang.Object obj)
abstract Signature	getSignature() Returns the signature of the language of this knowledge base.
int	hashCode()
protected java.util.Set<T>	instantiateSet() instantiates the set which is used as data holder for the belief set.
boolean	isEmpty()
java.util.Iterator<T>	iterator()
boolean	remove(java.lang.Object o)
boolean	removeAll(java.util.Collection<?> c)
boolean	retainAll(java.util.Collection<?> c)
int	size()
java.lang.Object[]	toArray()
<S> S[]	toArray(S[] a)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

formulas

private java.util.Set<T extends Formula> formulas

The set of formulas of this belief base.

Constructor Detail

BeliefSet

public BeliefSet()

Creates a new (empty) belief set.

BeliefSet

public BeliefSet(java.util.Collection<? extends T> c)

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

Parameters:

c - a collection of formulae.

Method Detail

instantiateSet

protected java.util.Set<T> instantiateSet()

instantiates the set which is used as data holder for the belief set. Subclasses might override this method if the do not want to use HashSet as container implementation

getSignature

public abstract Signature getSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Specified by:

getSignature in interface BeliefBase

Returns:

the signature of the language of this knowledge base.

add

public boolean add(T f)

Specified by:

add in interface java.util.Collection<T extends Formula>

addAll

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

Specified by:

addAll in interface java.util.Collection<T extends Formula>

clear

public void clear()

Specified by:

clear in interface java.util.Collection<T extends Formula>

contains

public boolean contains(java.lang.Object o)

Specified by:

contains in interface java.util.Collection<T extends Formula>

containsAll

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

Specified by:

containsAll in interface java.util.Collection<T extends Formula>

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Collection<T extends Formula>

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface java.util.Collection<T extends Formula>

Overrides:

equals in class java.lang.Object

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<T extends Formula>

iterator

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

Specified by:

iterator in interface java.lang.Iterable<T extends Formula>

Specified by:

iterator in interface java.util.Collection<T extends Formula>

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.Collection<T extends Formula>

removeAll

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

Specified by:

removeAll in interface java.util.Collection<T extends Formula>

retainAll

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

Specified by:

retainAll in interface java.util.Collection<T extends Formula>

size

public int size()

Specified by:

size in interface java.util.Collection<T extends Formula>

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<T extends Formula>

toArray

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

Specified by:

toArray in interface java.util.Collection<T extends Formula>

toString

public java.lang.String toString()

Specified by:

toString in interface BeliefBase

Overrides:

toString in class java.lang.Object