eu.bandm.tools.util

Class Operators.AbstractBinRel<X>

java.lang.Object

eu.bandm.tools.util.Operators.AbstractBinRel<X>

All Implemented Interfaces:

Operators.BinRel<X>, Operators.Rel<X,X>

Direct Known Subclasses:

Operators.AbstractEquivalence, Operators.AbstractPartialOrder

Enclosing class:

Operators

public abstract static class Operators.AbstractBinRel<X>
extends Object
implements Operators.BinRel<X>

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	antireflexive
protected boolean	antisymmetric
protected boolean	reflexive
protected boolean	symmetric
protected boolean	transitive

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractBinRel()
protected	AbstractBinRel(boolean reflexive, boolean antireflexive, boolean symmetric, boolean antisymmetric, boolean transitive)
protected	AbstractBinRel(Operators.BinRel<?> prototype)

Method Summary

Modifier and Type	Method and Description
boolean	isAntireflexive() Indicates antireflexivity.
boolean	isAntisymmetric() Indicates anti-symmetry.
boolean	isReflexive() Indicates reflexivity.
boolean	isSymmetric() Indicates symmetry.
boolean	isTransitive() Indicates anti-symmetry.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface eu.bandm.tools.util.Operators.Rel

relates

Field Detail

reflexive

protected final boolean reflexive

antireflexive

protected final boolean antireflexive

symmetric

protected final boolean symmetric

antisymmetric

protected final boolean antisymmetric

transitive

protected final boolean transitive

Constructor Detail

AbstractBinRel

protected AbstractBinRel(boolean reflexive,
                         boolean antireflexive,
                         boolean symmetric,
                         boolean antisymmetric,
                         boolean transitive)

AbstractBinRel

protected AbstractBinRel(Operators.BinRel<?> prototype)

AbstractBinRel

protected AbstractBinRel()

Method Detail

isReflexive

public final boolean isReflexive()

Description copied from interface: Operators.BinRel

Indicates reflexivity. This means that x.equals(y) implies relates(x, y). It is silently assumed that preempting this case is an optimization, i.e., that equals runs faster than relates.

Specified by:

isReflexive in interface Operators.BinRel<X>

isAntireflexive

public final boolean isAntireflexive()

Description copied from interface: Operators.BinRel

Indicates antireflexivity. This means that x.equals(y) implies !relates(x, y). It is silently assumed that preempting this case is an optimization, i.e., that equals runs faster than relates.

Specified by:

isAntireflexive in interface Operators.BinRel<X>

isSymmetric

public final boolean isSymmetric()

Description copied from interface: Operators.BinRel

Indicates symmetry. This means that relates(y, x) implies relates(x, y).

Specified by:

isSymmetric in interface Operators.BinRel<X>

isAntisymmetric

public final boolean isAntisymmetric()

Description copied from interface: Operators.BinRel

Indicates anti-symmetry. This means that relates(y, x) & relates(x, y) implies x.equals(y).

Specified by:

isAntisymmetric in interface Operators.BinRel<X>

isTransitive

public final boolean isTransitive()

Description copied from interface: Operators.BinRel

Indicates anti-symmetry. This means that relates(y, x) & relates(y, z) implies x.equals(z).

Specified by:

isTransitive in interface Operators.BinRel<X>