Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories.abstractalgebra

Interface SizeableTheory<E extends Sizeable<SIZE>,SIZE extends Scalar<SIZE>>

All Superinterfaces:

BasicObjectTheory<E>, ElementTheory<E>

All Known Subinterfaces:

CompleteScalarFieldTheory<E>, MetricSpaceTheory<E,S>, ScalarFieldTheory<E>, ScalarTheory<S>, SizeableScalarTheory<S,SIZE>

public interface SizeableTheory<E extends Sizeable<SIZE>,SIZE extends Scalar<SIZE>>
extends ElementTheory<E>

Since:

0.8

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	abs(E scalar)

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

Method Details

abs

@Property
default void abs(@ForAll("elements")
 E scalar)