Package net.sf.tweety.arg.adf.syntax
Class ImplicationAcceptanceCondition
- java.lang.Object
-
- net.sf.tweety.arg.adf.syntax.ImplicationAcceptanceCondition
-
- All Implemented Interfaces:
AcceptanceCondition
public class ImplicationAcceptanceCondition extends java.lang.Object implements AcceptanceCondition
-
-
Field Summary
Fields Modifier and Type Field Description private AcceptanceCondition
first
private AcceptanceCondition
second
-
Constructor Summary
Constructors Constructor Description ImplicationAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)
creates an implication of acceptance conditions
-
-
-
Field Detail
-
first
private AcceptanceCondition first
-
second
private AcceptanceCondition second
-
-
Constructor Detail
-
ImplicationAcceptanceCondition
public ImplicationAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)
creates an implication of acceptance conditions- Parameters:
first
- an acceptance conditionsecond
- an acceptance condition
-
-
Method Detail
-
arguments
public java.util.stream.Stream<Argument> arguments()
Description copied from interface:AcceptanceCondition
Recursively computes all of the arguments occuring in this acceptance condition.- Specified by:
arguments
in interfaceAcceptanceCondition
- Returns:
- the union of the arguments of this acceptance condition and its sub-conditions.
-
toPlFormula
public PlFormula toPlFormula(java.util.function.Function<Argument,PlFormula> argumentMap)
- Specified by:
toPlFormula
in interfaceAcceptanceCondition
-
-