Argument

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

All Implemented Interfaces:

AcceptanceCondition, Formula, Node
```
public class Argument
extends java.lang.Object
implements AcceptanceCondition, Formula, Node
```
An immutable representation of an ADF argument

Author:

Mathias Hofer

Field Summary

Fields
Modifier and Type Field Description

private java.lang.String name

Constructor Summary

Constructors
Constructor Description

Argument(java.lang.String name)
Creates a new argument.

Method Summary

Modifier and Type	Method	Description
`java.util.stream.Stream<Argument>`	`arguments()`	Recursively computes all of the arguments occuring in this acceptance condition.
`java.lang.String`	`getName()`
`Signature`	`getSignature()`	Returns the signature of the language of this formula.
`PlFormula`	`toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)`
`java.lang.String`	`toString()`

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)
```
    Creates a new argument.
    
    Parameters:
    
    name - the name of the argument
- Method Detail
  - arguments
```
public java.util.stream.Stream<Argument> arguments()
```
    Description copied from interface: AcceptanceCondition
    
    Recursively computes all of the arguments occuring in this acceptance condition.
    
    Specified by:
    
    arguments in interface AcceptanceCondition
    
    Returns:
    
    the union of the arguments of this acceptance condition and its sub-conditions.
  - toPlFormula
```
public PlFormula toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
```
    Specified by:
    
    toPlFormula in interface AcceptanceCondition
  - 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()
```
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object