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

Class TautologyAcceptanceCondition

java.lang.Object

net.sf.tweety.arg.adf.syntax.TautologyAcceptanceCondition

All Implemented Interfaces:

AcceptanceCondition

public class TautologyAcceptanceCondition
extends Object
implements AcceptanceCondition

Constructor Summary

Constructors

Constructor	Description
TautologyAcceptanceCondition()

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

TautologyAcceptanceCondition

public TautologyAcceptanceCondition()

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