Module org.meeuw.math.abstractalgebra.test
Package org.meeuw.theories.abstractalgebra

Interface OrderedTheory<E extends StrictlyOrdered<E>>

All Superinterfaces:
BasicObjectTheory<E>, ComparableTheory<E>, ElementTheory<E>, StrictlyOrderedTheory<E>
All Known Subinterfaces:
CompleteScalarFieldTheory<E>, ScalarFieldTheory<E>, ScalarTheory<S>, SizeableScalarTheory<S,SIZE>
public interface OrderedTheory<E extends StrictlyOrdered<E>> extends StrictlyOrderedTheory<E>
Since:
0.7
Author:
Michiel Meeuwissen

  • Method Details

    • orderedTransitive

      @Property default void orderedTransitive(@ForAll("elements") E a, @ForAll("elements") E b, @ForAll("elements") E c)

    • orderedTransitiveImpl

      default void orderedTransitiveImpl(E a, E b, E c)