net.sf.tweety.commons

Class SetSignature<T>

java.lang.Object

net.sf.tweety.commons.Signature

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

All Implemented Interfaces:

Iterable<T>, Collection<T>

public class SetSignature<T>
extends Signature
implements Collection<T>

This class models a signature as a set of formulas.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
SetSignature() Creates a empty new set signature.
SetSignature(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(Collection<? extends T> c)
void	addSignature(Signature other) Adds the elements of the given signature to this signature.
void	clear()
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	equals(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.
Iterator<T>	iterator()
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
int	size()
Object[]	toArray()
<S> S[]	toArray(S[] a)
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

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(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 Collection<T>

addAll

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

Specified by:

addAll in interface Collection<T>

clear

public void clear()

Specified by:

clear in interface Collection<T>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<T>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<T>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<T>

iterator

public Iterator<T> iterator()

Specified by:

iterator in interface Iterable<T>

Specified by:

iterator in interface Collection<T>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<T>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<T>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<T>

size

public int size()

Specified by:

size in interface Collection<T>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<T>

toArray

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

Specified by:

toArray in interface Collection<T>

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<T>

Specified by:

hashCode in class Signature

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<T>

Specified by:

equals in class Signature

toString

public String toString()

Overrides:

toString in class Object