Package net.sf.tweety.arg.adf.syntax

Class ExclusiveDisjunctionAcceptanceCondition

java.lang.Object

net.sf.tweety.arg.adf.syntax.ExclusiveDisjunctionAcceptanceCondition

All Implemented Interfaces:

AcceptanceCondition

public class ExclusiveDisjunctionAcceptanceCondition
extends Object
implements AcceptanceCondition

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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