ContradictionAcceptanceCondition

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

All Implemented Interfaces:: AcceptanceCondition

public class ContradictionAcceptanceCondition
extends java.lang.Object
implements AcceptanceCondition

Constructor Summary

Constructors
Constructor Description

ContradictionAcceptanceCondition()

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)`

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

- Constructor Detail
  - ContradictionAcceptanceCondition
```
public ContradictionAcceptanceCondition()
```
- 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