DeductiveArgumentNode

java.lang.Object
- net.sf.tweety.arg.deductive.semantics.DeductiveArgument
- - net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode

All Implemented Interfaces:

Node
```
public class DeductiveArgumentNode
extends DeductiveArgument
implements Node
```
Extends a deductive argument by a unique identifier. This allows the same deductive argument to appear in an argument tree multiple times. *

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`DeductiveArgumentNode(java.util.Collection<? extends PlFormula> support, PlFormula claim)`	Creates a new deductive argument node with the given support and claim (a unique ID is generated)
`DeductiveArgumentNode(DeductiveArgument arg)`	Creates a new deductive argument node from the given deductive argument (a unique ID is generated)

Method Summary

Modifier and Type Method Description

boolean equals(java.lang.Object obj)

int hashCode()
- Methods inherited from class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
  getClaim, getSupport, toString
- Methods inherited from class java.lang.Object
  getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - DeductiveArgumentNode
```
public DeductiveArgumentNode(java.util.Collection<? extends PlFormula> support,
                             PlFormula claim)
```
    Creates a new deductive argument node with the given support and claim (a unique ID is generated)
    
    Parameters:
    
    support - a set of formulas.
    
    claim - a formula.
  - DeductiveArgumentNode
```
public DeductiveArgumentNode(DeductiveArgument arg)
```
    Creates a new deductive argument node from the given deductive argument (a unique ID is generated)
    
    Parameters:
    
    arg - a deductive argument.
- Method Detail
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class DeductiveArgument
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class DeductiveArgument