Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories.numbers

Interface NumberTheory<N extends Number>

public interface NumberTheory<N extends Number>

Author:

Michiel Meeuwissen

Method Summary

Modifier and Type	Method	Description
default void	byteValue(N number)
default void	doubleValue(N number)
default void	floatValue(N number)
default void	intValue(N number)
default void	longValue(N number)
net.jqwik.api.Arbitrary<? extends N>	numbers()
default void	shortValue(N number)

Method Details

numbers

@Provide
net.jqwik.api.Arbitrary<? extends N> numbers()

intValue

@Property
default void intValue(@ForAll("numbers")
 N number)

longValue

@Property
default void longValue(@ForAll("numbers")
 N number)

floatValue

@Property
default void floatValue(@ForAll("numbers")
 N number)

doubleValue

@Property
default void doubleValue(@ForAll("numbers")
 N number)

byteValue

@Property
default void byteValue(@ForAll("numbers")
 N number)

shortValue

@Property
default void shortValue(@ForAll("numbers")
 N number)