AcceptanceCondition

All Known Implementing Classes:

Argument, ConjunctionAcceptanceCondition, ContradictionAcceptanceCondition, DisjunctionAcceptanceCondition, EquivalenceAcceptanceCondition, ExclusiveDisjunctionAcceptanceCondition, ImplicationAcceptanceCondition, NegationAcceptanceCondition, TautologyAcceptanceCondition
```
public interface AcceptanceCondition
```
This class represents the acceptance conditions of ADF arguments. It basically mirrors the structure of propositional formulae.

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
`java.util.stream.Stream<Argument>`	`arguments()`	Recursively computes all of the arguments occuring in this acceptance condition.
`PlFormula`	`toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)`

- Method Detail
  - arguments
```
java.util.stream.Stream<Argument> arguments()
```
    Recursively computes all of the arguments occuring in this acceptance condition.
    
    Returns:
    
    the union of the arguments of this acceptance condition and its sub-conditions.
  - toPlFormula
```
PlFormula toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
```