net.sf.tweety.commons

Class SetSignature<T>

java.lang.Object

net.sf.tweety.commons.Signature

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

All Implemented Interfaces:

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

Direct Known Subclasses:

DungSignature, PropositionalSignature

public class SetSignature<T>
extends Signature
implements java.util.Collection<T>

This class models a signature as a set of formulas.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<T>	formulas

Constructor Summary

Constructors

Constructor and Description
SetSignature() Creates a empty new set signature.
SetSignature(java.util.Collection<? extends T> formulas) Creates a new set signature with the given set of formulas.
SetSignature(T f) Creates a new set signature with the single given formula.

Method Summary

Modifier and Type	Method and Description
boolean	add(T e)
boolean	addAll(java.util.Collection<? extends T> c)
void	addSignature(Signature other) Adds the elements of the given signature to this signature.
void	clear()
boolean	contains(java.lang.Object o)
boolean	containsAll(java.util.Collection<?> c)
boolean	equals(java.lang.Object obj)
int	hashCode()
boolean	isEmpty()
boolean	isOverlappingSignature(Signature other) Checks whether this signature has common elements with the given signature, i.e.
boolean	isSubSignature(Signature other) Checks whether this signature is a sub-signature of the given signature, i.e.
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> formulas

Constructor Detail

SetSignature

public SetSignature()

Creates a empty new set signature.

SetSignature

public SetSignature(T f)

Creates a new set signature with the single given formula.

Parameters:

f - a formula.

SetSignature

public SetSignature(java.util.Collection<? extends T> formulas)

Creates a new set signature with the given set of formulas.

Parameters:

formulas - a collection of formulas.

Method Detail

isSubSignature

public boolean isSubSignature(Signature other)

Description copied from class: Signature

Checks whether this signature is a sub-signature of the given signature, i.e. whether each logical expression expressible with this signature is also expressible with the given signature.

Specified by:

isSubSignature in class Signature

Parameters:

other - a signature.

Returns:

"true" iff this signature is a subsignature of the given one.

isOverlappingSignature

public boolean isOverlappingSignature(Signature other)

Description copied from class: Signature

Checks whether this signature has common elements with the given signature, i.e. whether there are logical expressions expressible with this signature that are also expressible with the given signature.

Specified by:

isOverlappingSignature in class Signature

Parameters:

other - a signature.

Returns:

"true" iff this signature is overlapping with the given one.

addSignature

public void addSignature(Signature other)

Description copied from class: Signature

Adds the elements of the given signature to this signature.

Specified by:

addSignature in class Signature

Parameters:

other - a signature.

add

public boolean add(T e)

Specified by:

add in interface java.util.Collection<T>

addAll

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

Specified by:

addAll in interface java.util.Collection<T>

clear

public void clear()

Specified by:

clear in interface java.util.Collection<T>

contains

public boolean contains(java.lang.Object o)

Specified by:

contains in interface java.util.Collection<T>

containsAll

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

Specified by:

containsAll in interface java.util.Collection<T>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<T>

iterator

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

Specified by:

iterator in interface java.lang.Iterable<T>

Specified by:

iterator in interface java.util.Collection<T>

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.Collection<T>

removeAll

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

Specified by:

removeAll in interface java.util.Collection<T>

retainAll

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

Specified by:

retainAll in interface java.util.Collection<T>

size

public int size()

Specified by:

size in interface java.util.Collection<T>

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<T>

toArray

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

Specified by:

toArray in interface java.util.Collection<T>

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Collection<T>

Specified by:

hashCode in class Signature

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface java.util.Collection<T>

Specified by:

equals in class Signature

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object