DeductiveArgumentNode (Tweety (Deductive Argumentation Library) 1.17 API)

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

All Implemented Interfaces:

net.sf.tweety.graphs.Node
```
public class DeductiveArgumentNode
extends DeductiveArgument
implements net.sf.tweety.graphs.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(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> support, net.sf.tweety.logics.pl.syntax.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(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
  clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - DeductiveArgumentNode
```
public DeductiveArgumentNode(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> support,
                             net.sf.tweety.logics.pl.syntax.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(Object obj)
```
    Overrides:
    
    equals in class DeductiveArgument