Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories.abstractalgebra

Interface SignedNumberTheory<E extends SignedNumber<E>>

All Superinterfaces:

BasicObjectTheory<E>, ElementTheory<E>

public interface SignedNumberTheory<E extends SignedNumber<E>>
extends ElementTheory<E>

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	compareToConsistentWithSignum(E e)
default void	isNegativeConsistentWithSignum(E e)
default void	isPositiveConsistentWithSignum(E e)
default void	isZeroConsistentWithSignum(E e)
default void	signum(E e)
default void	signumOfZero(E e)

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

signum

@Property
default void signum(@ForAll("elements")
 E e)

isZeroConsistentWithSignum

@Property
default void isZeroConsistentWithSignum(@ForAll("elements")
 E e)

isPositiveConsistentWithSignum

@Property
default void isPositiveConsistentWithSignum(@ForAll("elements")
 E e)

isNegativeConsistentWithSignum

@Property
default void isNegativeConsistentWithSignum(@ForAll("elements")
 E e)

signumOfZero

@Property
default void signumOfZero(@ForAll("elements")
 E e)

compareToConsistentWithSignum

@Property
default void compareToConsistentWithSignum(@ForAll("elements")
 E e)