Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories.abstractalgebra

Interface MetricSpaceTheory<E extends MetricSpaceElement<E,S>,S extends Scalar<S>>

All Superinterfaces:

BasicObjectTheory<E>, ElementTheory<E>, SizeableTheory<E,S>

public interface MetricSpaceTheory<E extends MetricSpaceElement<E,S>,S extends Scalar<S>>
extends SizeableTheory<E,S>

Since:

0.4

Author:

Michiel Meeuwissen

Field Summary

Fields inherited from interface org.meeuw.theories.BasicObjectTheory

DATAPOINTS, DATAPOINTS_OR_NULL, EQUAL_DATAPOINTS, RANDOMS

Fields inherited from interface org.meeuw.theories.abstractalgebra.ElementTheory

ELEMENTS

Method Summary

Modifier and Type	Method	Description
default void	distancePositive(E a, E b)
default void	distanceSymmetry(E a, E b)
default void	identityOfIndiscernibles(E a)
default void	metric(E a, E b)
default void	triangleInequality(E a, E b, E c)

Methods inherited from interface org.meeuw.theories.BasicObjectTheory

datapointsOrNull, equalDatapoints, equals, equalsIsConsistent, equalsIsReflexive, equalsIsSymmetric, equalsIsTransitive, equalsReturnFalseOnNull, equalsReturnFalseOnOtherObject, hashCodeIsConsistentWithEquals, hashCodeIsSelfConsistent, log, randoms, toString

Methods inherited from interface org.meeuw.theories.abstractalgebra.ElementTheory

datapoints, elements, getLogger, setupForAll

Methods inherited from interface org.meeuw.theories.abstractalgebra.SizeableTheory

abs

Method Details

distanceSymmetry

@Property
default void distanceSymmetry(@ForAll("elements")
 E a,
 @ForAll("elements")
 E b)

metric

@Property
default void metric(@ForAll("elements")
 E a,
 @ForAll("elements")
 E b)

distancePositive

@Property
default void distancePositive(@ForAll("elements")
 E a,
 @ForAll("elements")
 E b)

identityOfIndiscernibles

@Property
default void identityOfIndiscernibles(@ForAll("elements")
 E a)

triangleInequality

@Property
default void triangleInequality(@ForAll("elements")
 E a,
 @ForAll("elements")
 E b,
 @ForAll("elements")
 E c)