net.sf.tweety.arg.aba.syntax

Class Negation<T extends Formula>

java.lang.Object

net.sf.tweety.arg.aba.syntax.Negation<T>

All Implemented Interfaces:

Formula

public class Negation<T extends Formula>
extends java.lang.Object
implements Formula

Author:

Nils Geilen This represents a negation relation of form "not formula = negation"

Field Summary

Fields

Modifier and Type	Field and Description
(package private) T	formula not =
(package private) T	negation not =

Constructor Summary

Constructors

Constructor and Description
Negation(T formula, T negation) Creates a new Negation

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
Signature	getSignature() Returns the signature of the language of this formula.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

formula

T extends Formula formula

not =

negation

T extends Formula negation

not =

Constructor Detail

Negation

public Negation(T formula,
                T negation)

Creates a new Negation

Parameters:

formula - a formula

negation - it's complement

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object