Package net.sf.tweety.arg.adf.syntax
Class ImplicationAcceptanceCondition
- java.lang.Object
-
- net.sf.tweety.arg.adf.syntax.AcceptanceCondition
-
- net.sf.tweety.arg.adf.syntax.BinaryAcceptanceCondition
-
- net.sf.tweety.arg.adf.syntax.ImplicationAcceptanceCondition
-
public final class ImplicationAcceptanceCondition extends BinaryAcceptanceCondition
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class net.sf.tweety.arg.adf.syntax.AcceptanceCondition
AcceptanceCondition.Builder
-
-
Constructor Summary
Constructors Constructor Description ImplicationAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
-
Method Summary
Modifier and Type Method Description protected java.lang.String
getName()
protected int
leftPolarity(int polarity)
protected int
rightPolarity(int polarity)
protected <C,R>
Rtransform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, R left, R right, int polarity)
-
Methods inherited from class net.sf.tweety.arg.adf.syntax.BinaryAcceptanceCondition
arguments, equals, hashCode, toString, transform
-
Methods inherited from class net.sf.tweety.arg.adf.syntax.AcceptanceCondition
builder, builder, collect, collect, isContradiction, isTautology, transform
-
-
-
-
Constructor Detail
-
ImplicationAcceptanceCondition
public ImplicationAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
- Parameters:
left
-right
-
-
-
Method Detail
-
leftPolarity
protected int leftPolarity(int polarity)
- Specified by:
leftPolarity
in classBinaryAcceptanceCondition
-
rightPolarity
protected int rightPolarity(int polarity)
- Specified by:
rightPolarity
in classBinaryAcceptanceCondition
-
transform
protected <C,R> R transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, R left, R right, int polarity)
- Specified by:
transform
in classBinaryAcceptanceCondition
-
getName
protected java.lang.String getName()
- Specified by:
getName
in classAcceptanceCondition
-
-