net.sf.tweety.commons

Class Signature

java.lang.Object

net.sf.tweety.commons.Signature

Direct Known Subclasses:

DlSignature, FolSignature, SetSignature

public abstract class Signature
extends java.lang.Object

A signatures lists the atomic language structures for some language.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
Signature()

Method Summary

Modifier and Type	Method and Description
abstract void	addSignature(Signature other) Adds the elements of the given signature to this signature.
abstract boolean	equals(java.lang.Object obj)
abstract int	hashCode()
abstract boolean	isOverlappingSignature(Signature other) Checks whether this signature has common elements with the given signature, i.e.
abstract boolean	isSubSignature(Signature other) Checks whether this signature is a sub-signature of the given signature, i.e.

Methods inherited from class java.lang.Object

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

Constructor Detail

Signature

public Signature()

Method Detail

isSubSignature

public abstract 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 subsignature of the given one.

isOverlappingSignature

public abstract 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

public abstract void addSignature(Signature other)

Adds the elements of the given signature to this signature.

Parameters:

other - a signature.

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public abstract boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object