Argument (Tweety (ADF Library) 1.13 API)

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

All Implemented Interfaces:

AcceptanceCondition, net.sf.tweety.commons.Formula, net.sf.tweety.graphs.Node
```
public class Argument
extends Object
implements AcceptanceCondition, net.sf.tweety.commons.Formula, net.sf.tweety.graphs.Node
```
An immutable representation of an ADF argument

Author:

Mathias Hofer

Constructor Summary

Constructors
Constructor Description

Argument(String name)
Creates a new argument.

Method Summary

Modifier and Type	Method	Description
`Stream<Argument>`	`arguments()`	Recursively computes all of the arguments occuring in this acceptance condition.
`String`	`getName()`
`net.sf.tweety.commons.Signature`	`getSignature()`
`net.sf.tweety.logics.pl.syntax.PlFormula`	`toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)`
`String`	`toString()`

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

- Constructor Detail
  - Argument
```
public Argument(String name)
```
    Creates a new argument.
    
    Parameters:
    
    name - the name of the argument
- Method Detail
  - arguments
```
public 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 net.sf.tweety.logics.pl.syntax.PlFormula toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
```
    Specified by:
    
    toPlFormula in interface AcceptanceCondition
  - getSignature
```
public net.sf.tweety.commons.Signature getSignature()
```
    Specified by:
    
    getSignature in interface net.sf.tweety.commons.Formula
  - getName
```
public String getName()
```
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object