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

Class UnaryAcceptanceCondition

java.lang.Object

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

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

Direct Known Subclasses:

NegationAcceptanceCondition

public abstract class UnaryAcceptanceCondition
extends AcceptanceCondition

Author:

Mathias Hofer

Nested Class Summary

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

AcceptanceCondition.Builder

Field Summary

Fields

Modifier and Type	Field	Description
private AcceptanceCondition	sub

Constructor Summary

Constructors

Constructor	Description
UnaryAcceptanceCondition(AcceptanceCondition sub)

Method Summary

Modifier and Type	Method	Description
java.util.stream.Stream<Argument>	arguments()
boolean	equals(java.lang.Object obj)
int	hashCode()
protected abstract int	subPolarity(int polarity)
java.lang.String	toString()
protected <C,R> R	transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)
protected abstract <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.AcceptanceCondition

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

Methods inherited from class java.lang.Object

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

Field Detail

sub

private AcceptanceCondition sub

Constructor Detail

UnaryAcceptanceCondition

public UnaryAcceptanceCondition(AcceptanceCondition sub)

Parameters:

sub -

Method Detail

arguments

public java.util.stream.Stream<Argument> arguments()

Specified by:

arguments in class AcceptanceCondition

Returns:

a stream of all arguments of this acceptance condition and its subconditions.

transform

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

Specified by:

transform in class AcceptanceCondition

transform

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

subPolarity

protected abstract int subPolarity(int polarity)

toString

public java.lang.String toString()

Overrides:

toString in class AcceptanceCondition

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object