net.sf.tweety.lp.asp.syntax

Class DLPSignature

java.lang.Object

net.sf.tweety.commons.Signature

net.sf.tweety.lp.asp.syntax.DLPSignature

public class DLPSignature
extends net.sf.tweety.commons.Signature

Constructor Summary

Constructors

Constructor and Description
DLPSignature()

Method Summary

Modifier and Type	Method and Description
void	add(Object obj)
void	addSignature(net.sf.tweety.commons.Signature other)
boolean	equals(Object obj)
int	hashCode()
boolean	isOverlappingSignature(net.sf.tweety.commons.Signature other)
boolean	isSubSignature(net.sf.tweety.commons.Signature other)

Methods inherited from class java.lang.Object

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

Constructor Detail

DLPSignature

public DLPSignature()

Method Detail

add

public void add(Object obj)

isSubSignature

public boolean isSubSignature(net.sf.tweety.commons.Signature other)

Specified by:

isSubSignature in class net.sf.tweety.commons.Signature

isOverlappingSignature

public boolean isOverlappingSignature(net.sf.tweety.commons.Signature other)

Specified by:

isOverlappingSignature in class net.sf.tweety.commons.Signature

addSignature

public void addSignature(net.sf.tweety.commons.Signature other)

Specified by:

addSignature in class net.sf.tweety.commons.Signature

hashCode

public int hashCode()

Specified by:

hashCode in class net.sf.tweety.commons.Signature

equals

public boolean equals(Object obj)

Specified by:

equals in class net.sf.tweety.commons.Signature