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

Class BinaryAcceptanceCondition

java.lang.Object

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

net.sf.tweety.arg.adf.syntax.BinaryAcceptanceCondition

Direct Known Subclasses:

EquivalenceAcceptanceCondition, ExclusiveDisjunctionAcceptanceCondition, ImplicationAcceptanceCondition

public abstract class BinaryAcceptanceCondition
extends AcceptanceCondition

Author:

Mathias Hofer

Nested Class Summary

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

AcceptanceCondition.Builder

Constructor Summary

Constructors

Constructor	Description
BinaryAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)

Method Summary

Modifier and Type	Method	Description
Stream<Argument>	arguments()
boolean	equals(Object obj)
int	hashCode()
protected abstract int	leftPolarity(int polarity)
protected abstract int	rightPolarity(int polarity)
String	toString()
protected <C,R> R	transform(Transform<C,R> transform, Consumer<C> consumer, int polarity)
protected abstract <C,R> R	transform(Transform<C,R> transform, Consumer<C> consumer, R left, R right, 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

Constructor Detail

BinaryAcceptanceCondition

public BinaryAcceptanceCondition(AcceptanceCondition left,
                                 AcceptanceCondition right)

Parameters:

left -

right -

Method Detail

arguments

public 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,
                                  Consumer<C> consumer,
                                  int polarity)

Specified by:

transform in class AcceptanceCondition

leftPolarity

protected abstract int leftPolarity(int polarity)

rightPolarity

protected abstract int rightPolarity(int polarity)

transform

protected abstract <C,R> R transform(Transform<C,R> transform,
                                           Consumer<C> consumer,
                                           R left,
                                           R right,
                                           int polarity)

toString

public String toString()

Overrides:

toString in class AcceptanceCondition

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object