Package net.sf.tweety.commons
Class SingleSetSignature<T>
- java.lang.Object
-
- net.sf.tweety.commons.SingleSetSignature<T>
-
- Type Parameters:
T
- The type of formulas in this signature.
- All Implemented Interfaces:
java.lang.Cloneable
,java.lang.Iterable<T>
,Signature
- Direct Known Subclasses:
AbstractDialecticalFramework.Signature
,DungSignature
,PlSignature
public abstract class SingleSetSignature<T> extends java.lang.Object implements Signature, java.lang.Iterable<T>
This class models a signature as a set of formulas.- Author:
- Matthias Thimm, Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description SingleSetSignature()
Creates a new empty signature.SingleSetSignature(java.util.Set<T> formulas)
Creates a new signature with the given set of elements.
-
Method Summary
Modifier and Type Method Description void
add(java.lang.Object... objects)
Adds the given formulas to the signature.void
addAll(java.util.Collection<?> c)
Adds all elements of this collection to this signature.void
addSignature(Signature other)
Adds the elements of the given signature to this signature.void
clear()
Removes all elements of this signature.abstract SingleSetSignature<T>
clone()
boolean
contains(T f)
Returns true if this signature contains the specified formula.boolean
containsAll(java.util.Collection<T> c)
Returns true if this signature contains all of the elements in the specified collection.boolean
equals(java.lang.Object obj)
int
hashCode()
boolean
isEmpty()
Returns true if this signature is empty.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()
void
remove(java.lang.Object o)
Removes the given formula from this signature, if it is present (optional operation).void
removeAll(java.util.Collection<?> c)
Removes all of this signature elements that are also contained in the specified collection (optional operation).void
retainAll(java.util.Collection<?> c)
int
size()
Returns the number of elements in this signature, i.e.java.lang.Object[]
toArray()
Returns an array containing all of the elements in this signature.java.util.Collection<T>
toCollection()
Returns a collection containing all of the elements in this signature.java.lang.String
toString()
-
-
-
Constructor Detail
-
SingleSetSignature
public SingleSetSignature()
Creates a new empty signature.
-
SingleSetSignature
public SingleSetSignature(java.util.Set<T> formulas)
Creates a new signature with the given set of elements.- Parameters:
formulas
- set of formulas
-
-
Method Detail
-
isSubSignature
public boolean isSubSignature(Signature other)
Description copied from interface: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 interfaceSignature
- Parameters:
other
- a signature.- Returns:
- "true" iff this signature is a sub-signature of the given one.
-
isOverlappingSignature
public boolean isOverlappingSignature(Signature other)
Description copied from interface: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 interfaceSignature
- Parameters:
other
- a signature.- Returns:
- "true" iff this signature is overlapping with the given one.
-
addSignature
public void addSignature(Signature other)
Description copied from interface:Signature
Adds the elements of the given signature to this signature.- Specified by:
addSignature
in interfaceSignature
- Parameters:
other
- a signature.
-
hashCode
public int hashCode()
-
equals
public boolean equals(java.lang.Object obj)
-
addAll
public void addAll(java.util.Collection<?> c)
Description copied from interface:Signature
Adds all elements of this collection to this signature.
-
add
public void add(java.lang.Object... objects) throws java.lang.IllegalArgumentException
Description copied from interface:Signature
Adds the given formulas to the signature.
-
remove
public void remove(java.lang.Object o)
Description copied from interface:Signature
Removes the given formula from this signature, if it is present (optional operation).
-
isEmpty
public boolean isEmpty()
Description copied from interface:Signature
Returns true if this signature is empty.
-
removeAll
public void removeAll(java.util.Collection<?> c)
Description copied from interface:Signature
Removes all of this signature elements that are also contained in the specified collection (optional operation). After this call returns, this signature will contain no elements in common with the specified collection.
-
retainAll
public void retainAll(java.util.Collection<?> c)
-
clear
public void clear()
Description copied from interface:Signature
Removes all elements of this signature. After this call returns, this signature will contain no elements.
-
iterator
public java.util.Iterator<T> iterator()
- Specified by:
iterator
in interfacejava.lang.Iterable<T>
-
toString
public java.lang.String toString()
-
size
public int size()
Returns the number of elements in this signature, i.e. the the size of the set that represents the signature.- Returns:
- size of the signature
-
contains
public boolean contains(T f)
Returns true if this signature contains the specified formula.- Parameters:
f
- a formula- Returns:
- true if the signature contains f, false otherwise
-
containsAll
public boolean containsAll(java.util.Collection<T> c)
Returns true if this signature contains all of the elements in the specified collection.- Parameters:
c
- collection of formulas- Returns:
- true if the signature contains c, false otherwise
-
toArray
public java.lang.Object[] toArray()
Returns an array containing all of the elements in this signature.- Returns:
- signature as array
-
toCollection
public java.util.Collection<T> toCollection()
Returns a collection containing all of the elements in this signature.- Returns:
- formulas of this signature
-
clone
public abstract SingleSetSignature<T> clone()
-
-