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

Class DisjunctionAcceptanceCondition

java.lang.Object

net.sf.tweety.arg.adf.syntax.DisjunctionAcceptanceCondition

All Implemented Interfaces:

AcceptanceCondition

public class DisjunctionAcceptanceCondition
extends Object
implements AcceptanceCondition

Constructor Summary

Constructors

Constructor	Description
DisjunctionAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)	creates a disjunction 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

DisjunctionAcceptanceCondition

public DisjunctionAcceptanceCondition(AcceptanceCondition first,
                                      AcceptanceCondition second)

creates a disjunction 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