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 java.util.stream.Stream<Argument>
arguments()
boolean
equals(java.lang.Object obj)
protected java.lang.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 typeContradictionAcceptanceCondition
.protected <C,R>
Rtransform(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, isTautology, toString, transform
-
-
-
-
Method Detail
-
arguments
public java.util.stream.Stream<Argument> arguments()
- Specified by:
arguments
in classAcceptanceCondition
- 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 typeContradictionAcceptanceCondition
.This is useful for some syntax level rewriting to avoid instanceof checks and keep the code typesafe.
- Overrides:
isContradiction
in classAcceptanceCondition
- Returns:
- true iff this acceptance condition represents the contradiction constant
-
transform
protected <C,R> R transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)
- Specified by:
transform
in classAcceptanceCondition
-
getName
protected java.lang.String getName()
- Specified by:
getName
in classAcceptanceCondition
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
-