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

Class TautologyAcceptanceCondition

java.lang.Object

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

net.sf.tweety.arg.adf.syntax.TautologyAcceptanceCondition

public final class TautologyAcceptanceCondition
extends AcceptanceCondition

Nested Class Summary

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

AcceptanceCondition.Builder

Constructor Summary

Constructors

Constructor	Description
TautologyAcceptanceCondition()

Method Summary

Modifier and Type	Method	Description
java.util.stream.Stream<Argument>	arguments()
boolean	equals(java.lang.Object obj)
protected java.lang.String	getName()
int	hashCode()
boolean	isTautology()	Note that this method does not perform any computations to determine if this acceptance condition is a tautology, it only checks if this is of type TautologyAcceptanceCondition.
protected <C,R> R	transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)

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

builder, builder, collect, collect, isContradiction, toString, transform

Methods inherited from class java.lang.Object

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

Constructor Detail

TautologyAcceptanceCondition

public TautologyAcceptanceCondition()

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.

isTautology

public boolean isTautology()

Description copied from class: AcceptanceCondition

Note that this method does not perform any computations to determine if this acceptance condition is a tautology, it only checks if this is of type TautologyAcceptanceCondition.

This is useful for some syntax level rewriting to avoid instanceof checks and keep the code typesafe.

Overrides:

isTautology in class AcceptanceCondition

Returns:

true iff this acceptance condition represents the tautology constant

transform

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

Specified by:

transform in class AcceptanceCondition

getName

protected java.lang.String getName()

Specified by:

getName in class AcceptanceCondition

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object