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

Field Summary

Fields

Modifier and Type	Field	Description
private AcceptanceCondition	left
private AcceptanceCondition	right

Constructor Summary

Constructors

Constructor	Description
BinaryAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)

Method Summary

Modifier and Type	Method	Description
java.util.stream.Stream<Argument>	arguments()
boolean	equals(java.lang.Object obj)
int	hashCode()
protected abstract int	leftPolarity(int polarity)
protected abstract int	rightPolarity(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 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

Field Detail

left

private AcceptanceCondition left

right

private AcceptanceCondition right

Constructor Detail

BinaryAcceptanceCondition

public BinaryAcceptanceCondition(AcceptanceCondition left,
                                 AcceptanceCondition right)

Parameters:

left -

right -

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

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,
                                           java.util.function.Consumer<C> consumer,
                                           R left,
                                           R right,
                                           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