DeductiveArgument

java.lang.Object
- org.tweetyproject.arg.deductive.semantics.DeductiveArgument

Direct Known Subclasses:

DeductiveArgumentNode
```
public class DeductiveArgument
extends java.lang.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(java.util.Collection<? extends PlFormula> support, PlFormula claim)`	Creates a new deductive argument with the given support and claim.

Method Summary

Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`PlFormula`	`getClaim()`	Returns the claim of this argument.
`java.util.Collection<? extends PlFormula>`	`getSupport()`	Returns the support of this argument.
`int`	`hashCode()`
`java.lang.String`	`toString()`

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

- Constructor Detail
  - DeductiveArgument
```
public DeductiveArgument(java.util.Collection<? extends PlFormula> support,
                         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 java.util.Collection<? extends PlFormula> getSupport()
```
    Returns the support of this argument.
    
    Returns:
    
    the support of this argument.
  - getClaim
```
public PlFormula getClaim()
```
    Returns the claim of this argument.
    
    Returns:
    
    the claim of this argument.
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - 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