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

Interface AcceptanceCondition

All Known Implementing Classes:

Argument, ConjunctionAcceptanceCondition, ContradictionAcceptanceCondition, DisjunctionAcceptanceCondition, EquivalenceAcceptanceCondition, ExclusiveDisjunctionAcceptanceCondition, ImplicationAcceptanceCondition, NegationAcceptanceCondition, TautologyAcceptanceCondition

public interface AcceptanceCondition

This class represents the acceptance conditions of ADF arguments. It basically mirrors the structure of propositional formulae.

Author:

Mathias Hofer

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)

Method Detail

arguments

Stream<Argument> arguments()

Recursively computes all of the arguments occuring in this acceptance condition.

Returns:

the union of the arguments of this acceptance condition and its sub-conditions.

toPlFormula

net.sf.tweety.logics.pl.syntax.PlFormula toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)