Negation

java.lang.Object
- net.sf.tweety.arg.aba.syntax.Negation<T>

Type Parameters:

T - the type of formulas

All Implemented Interfaces:

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

Nils Geilen (geilenn@uni-koblenz.de) This represents a negation relation of form "not formula = negation"

Field Summary

Fields
Modifier and Type Field Description

(package private) T formula
not =

(package private) T negation
not =

Constructor Summary

Constructors
Constructor Description

Negation(T formula, T negation)
Creates a new Negation

Method Summary

Modifier and Type	Method	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