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

Class EquivalenceAcceptanceCondition

java.lang.Object

net.sf.tweety.arg.adf.syntax.EquivalenceAcceptanceCondition

All Implemented Interfaces:

AcceptanceCondition

public class EquivalenceAcceptanceCondition
extends Object
implements AcceptanceCondition

Constructor Summary

Constructors

Constructor	Description
EquivalenceAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)	creates an equivalence formula 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

EquivalenceAcceptanceCondition

public EquivalenceAcceptanceCondition(AcceptanceCondition first,
                                      AcceptanceCondition second)

creates an equivalence formula 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