Package net.sf.tweety.commons

Interface Signature

All Superinterfaces:

java.lang.Cloneable

All Known Implementing Classes:

AbstractDialecticalFramework.Signature, ActionSignature, BpmnSignature, DlSignature, DualSetSignature, DungSignature, FolSignature, PlSignature, QuadrupleSetSignature, SingleSetSignature, TripleSetSignature

public interface Signature
extends java.lang.Cloneable

A signatures lists the atomic language structures for some language. It is represented by a (multi-)set of formulas.

Author:

Matthias Thimm, Anna Gessler

Method Summary

Modifier and Type	Method	Description
void	add(java.lang.Object obj)	Adds the given formula to this signature.
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.
Signature	clone()
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.
void	remove(java.lang.Object obj)	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).
java.lang.String	toString()

Method Detail

isSubSignature

boolean isSubSignature(Signature other)

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.

Parameters:

other - a signature.

Returns:

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

isOverlappingSignature

boolean isOverlappingSignature(Signature other)

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.

Parameters:

other - a signature.

Returns:

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

addSignature

void addSignature(Signature other)

Adds the elements of the given signature to this signature.

Parameters:

other - a signature.

hashCode

int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

add

void add(java.lang.Object obj)

Adds the given formula to this signature.

Parameters:

obj - some object

addAll

void addAll(java.util.Collection<?> c)

Adds all elements of this collection to this signature.

Parameters:

c - a collection

add

void add(java.lang.Object... objects)

Adds the given formulas to the signature.

Parameters:

objects -

isEmpty

boolean isEmpty()

Returns true if this signature is empty.

Returns:

true if this signature is empty.

remove

void remove(java.lang.Object obj)

Removes the given formula from this signature, if it is present (optional operation).

Parameters:

obj - some object

removeAll

void removeAll(java.util.Collection<?> c)

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.

Parameters:

c - a collection of objects

clear

void clear()

Removes all elements of this signature. After this call returns, this signature will contain no elements.

clone

Signature clone()