Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories.abstractalgebra

Interface UncertainDoubleTheory<E extends UncertainDouble<E>>

All Superinterfaces:

BasicObjectTheory<E>, ElementTheory<E>

public interface UncertainDoubleTheory<E extends UncertainDouble<E>>
extends ElementTheory<E>

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 net.jqwik.api.arbitraries.DoubleArbitrary	doubles()
default void	plus(E e1, E e2)
default void	timesDouble(E e, Double multiplier)
default void	weightedAverage(E e1, E e2)

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

timesDouble

@Property
default void timesDouble(@ForAll("elements")
 E e,
 @ForAll("doubles")
 Double multiplier)

plus

@Property
default void plus(@ForAll("elements")
 E e1,
 @ForAll("elements")
 E e2)

weightedAverage

@Property
default void weightedAverage(@ForAll("elements")
 E e1,
 @ForAll("elements")
 E e2)

doubles

@Provide
default net.jqwik.api.arbitraries.DoubleArbitrary doubles()