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

Interface StrictlyOrderedTheory<E extends StrictlyOrdered<E>>

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

  • Method Details

    • orderedReflexive

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

    • strictOrderedTransitive

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

    • orderedAntisymmetric

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

    • orderedStronglyConnected

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