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

Class NegationAcceptanceCondition

java.lang.Object

net.sf.tweety.arg.adf.syntax.AcceptanceCondition

net.sf.tweety.arg.adf.syntax.UnaryAcceptanceCondition

net.sf.tweety.arg.adf.syntax.NegationAcceptanceCondition

public final class NegationAcceptanceCondition
extends UnaryAcceptanceCondition

Nested Class Summary

Nested classes/interfaces inherited from class net.sf.tweety.arg.adf.syntax.AcceptanceCondition

AcceptanceCondition.Builder

Constructor Summary

Constructors

Constructor	Description
NegationAcceptanceCondition(AcceptanceCondition subcondition)

Method Summary

Modifier and Type	Method	Description
protected java.lang.String	getName()
protected int	subPolarity(int polarity)
protected <C,R> R	transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, R sub, int polarity)

Methods inherited from class net.sf.tweety.arg.adf.syntax.UnaryAcceptanceCondition

arguments, equals, hashCode, toString, transform

Methods inherited from class net.sf.tweety.arg.adf.syntax.AcceptanceCondition

builder, builder, collect, collect, isContradiction, isTautology, transform

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

NegationAcceptanceCondition

public NegationAcceptanceCondition(AcceptanceCondition subcondition)

Method Detail

transform

protected <C,R> R transform(Transform<C,R> transform,
                                  java.util.function.Consumer<C> consumer,
                                  R sub,
                                  int polarity)

Specified by:

transform in class UnaryAcceptanceCondition

subPolarity

protected int subPolarity(int polarity)

Specified by:

subPolarity in class UnaryAcceptanceCondition

getName

protected java.lang.String getName()

Specified by:

getName in class AcceptanceCondition