ExclusiveDisjunctionAcceptanceCondition

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

All Implemented Interfaces:: AcceptanceCondition

public class ExclusiveDisjunctionAcceptanceCondition
extends java.lang.Object
implements AcceptanceCondition

Field Summary

Fields
Modifier and Type Field Description

private AcceptanceCondition first

private AcceptanceCondition second

Constructor Summary

Constructors
Constructor	Description
`ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)`	creates an XOR of acceptance conditions

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

- Field Detail
  - first
```
private AcceptanceCondition first
```
  - second
```
private AcceptanceCondition second
```
- Constructor Detail
  - ExclusiveDisjunctionAcceptanceCondition
```
public ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition first,
                                               AcceptanceCondition second)
```
    creates an XOR of acceptance conditions
    
    Parameters:
    
    first - an acceptance condition
    
    second - an acceptance condition
- 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