Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories.numbers

Interface SizeableScalarTheory<S extends SizeableScalar<S,SIZE>,SIZE extends Scalar<SIZE>>

All Superinterfaces:

BasicObjectTheory<S>, ComparableTheory<S>, ElementTheory<S>, OrderedTheory<S>, SizeableTheory<S,SIZE>, StrictlyOrderedTheory<S>

All Known Subinterfaces:

CompleteScalarFieldTheory<E>, ScalarFieldTheory<E>, ScalarTheory<S>

public interface SizeableScalarTheory<S extends SizeableScalar<S,SIZE>,SIZE extends Scalar<SIZE>>
extends ElementTheory<S>, OrderedTheory<S>, SizeableTheory<S,SIZE>

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	bigDecimalValue(S number)
default void	compareTo(S scalar1, S scalar2)
default void	compareToConsistentWithEquals(S e1, S e2)
default void	floatValues(S scalar)
default void	implementsSizeableScalar(S e1)
default void	integerValues(S scalar)
default void	isFinite(S scalar)
default void	isNaN(S scalar)
default void	ltegte(S scalar1, S scalar2)
default void	ltgt(S scalar1, S scalar2)

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

compareToEqualsDatapoints3, compareToIsAntiCommutative, compareToIsTransitiveBigger, compareToIsTransitiveEquals, compareToIsTransitiveSmaller, compareToNull, equalsConsistentWithComparable

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

datapoints, elements, getLogger, setupForAll

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

orderedTransitive, orderedTransitiveImpl

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

abs

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

orderedAntisymmetric, orderedReflexive, orderedStronglyConnected, strictOrderedTransitive

Method Details

compareTo

@Property
default void compareTo(@ForAll("elements")
 S scalar1,
 @ForAll("elements")
 S scalar2)

ltgt

@Property
default void ltgt(@ForAll("elements")
 S scalar1,
 @ForAll("elements")
 S scalar2)

ltegte

@Property
default void ltegte(@ForAll("elements")
 S scalar1,
 @ForAll("elements")
 S scalar2)

integerValues

@Property
default void integerValues(@ForAll("elements")
 S scalar)

floatValues

@Property
default void floatValues(@ForAll("elements")
 S scalar)

isFinite

@Property
default void isFinite(@ForAll("elements")
 S scalar)

isNaN

@Property
default void isNaN(@ForAll("elements")
 S scalar)

compareToConsistentWithEquals

@Property
default void compareToConsistentWithEquals(@ForAll("elements")
 S e1,
 @ForAll("elements")
 S e2)

implementsSizeableScalar

@Property
default void implementsSizeableScalar(@ForAll("elements")
 S e1)

bigDecimalValue

@Property
default void bigDecimalValue(@ForAll("elements")
 S number)