Argument

java.lang.Object
- net.sf.tweety.arg.adf.syntax.AcceptanceCondition
- - net.sf.tweety.arg.adf.syntax.Argument

All Implemented Interfaces:

Formula, Node
```
public class Argument
extends AcceptanceCondition
implements Formula, Node
```
An immutable representation of an ADF argument
This argument can also be used as an AcceptanceCondition, since it is its atomic building block.

Author:

Mathias Hofer

Nested Class Summary
- Nested classes/interfaces inherited from class net.sf.tweety.arg.adf.syntax.AcceptanceCondition
  AcceptanceCondition.Builder

Field Summary

Fields
Modifier and Type Field Description

private java.lang.String name

Constructor Summary

Constructors
Constructor Description

Argument(java.lang.String name)

Method Summary

Modifier and Type	Method	Description
`java.util.stream.Stream<Argument>`	`arguments()`
`java.lang.String`	`getName()`
`Signature`	`getSignature()`	Returns the signature of the language of this formula.
`protected <C,R> R`	`transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)`

Methods inherited from class net.sf.tweety.arg.adf.syntax.AcceptanceCondition
builder, builder, collect, collect, isContradiction, isTautology, toString, transform

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

- Field Detail
  - name
```
private java.lang.String name
```
- Constructor Detail
  - Argument
```
public Argument(java.lang.String name)
```
    Parameters:
    
    name -
- Method Detail
  - arguments
```
public java.util.stream.Stream<Argument> arguments()
```
    Specified by:
    
    arguments in class AcceptanceCondition
    
    Returns:
    
    a stream of all arguments of this acceptance condition and its subconditions.
  - 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.
  - getName
```
public java.lang.String getName()
```
    Specified by:
    
    getName in class AcceptanceCondition
    
    Returns:
    
    the name
  - transform
```
protected <C,R> R transform(Transform<C,R> transform,
                                  java.util.function.Consumer<C> consumer,
                                  int polarity)
```
    Specified by:
    
    transform in class AcceptanceCondition