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

Class ContradictionAcceptanceCondition

java.lang.Object

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

net.sf.tweety.arg.adf.syntax.ContradictionAcceptanceCondition

public final class ContradictionAcceptanceCondition
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
ContradictionAcceptanceCondition()

Method Summary

Modifier and Type	Method	Description
Stream<Argument>	arguments()
boolean	equals(Object obj)
protected String	getName()
int	hashCode()
boolean	isContradiction()	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 ContradictionAcceptanceCondition.
protected <C,R> R	transform(Transform<C,R> transform, Consumer<C> consumer, int polarity)

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

builder, builder, collect, collect, isTautology, toString, transform

Methods inherited from class java.lang.Object

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

Constructor Detail

ContradictionAcceptanceCondition

public ContradictionAcceptanceCondition()

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.

isContradiction

public boolean isContradiction()

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 ContradictionAcceptanceCondition.

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

Overrides:

isContradiction in class AcceptanceCondition

Returns:

true iff this acceptance condition represents the contradiction constant

transform

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

Specified by:

transform in class AcceptanceCondition

getName

protected String getName()

Specified by:

getName in class AcceptanceCondition

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object