DeductiveArgument (Tweety (Deductive Argumentation Library) 1.17 API)

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

Direct Known Subclasses:

DeductiveArgumentNode
```
public class DeductiveArgument
extends Object
```
Instances of this class represent arguments in the sense of Definition 3.1 in

Philippe Besnard and Anthony Hunter. A logic-based theory of deductive arguments. In Artificial Intelligence, 128(1-2):203-235, 2001.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`DeductiveArgument(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> support, net.sf.tweety.logics.pl.syntax.PlFormula claim)`	Creates a new deductive argument with the given support and claim.

Method Summary

Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`net.sf.tweety.logics.pl.syntax.PlFormula`	`getClaim()`	Returns the claim of this argument.
`Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula>`	`getSupport()`	Returns the support of this argument.
`int`	`hashCode()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - DeductiveArgument
```
public DeductiveArgument(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> support,
                         net.sf.tweety.logics.pl.syntax.PlFormula claim)
```
    Creates a new deductive argument with the given support and claim.
    
    Parameters:
    
    support - a set of formulas.
    
    claim - a formula.
- Method Detail
  - getSupport
```
public Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> getSupport()
```
    Returns the support of this argument.
    
    Returns:
    
    the support of this argument.
  - getClaim
```
public net.sf.tweety.logics.pl.syntax.PlFormula getClaim()
```
    Returns the claim of this argument.
    
    Returns:
    
    the claim of this argument.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object