Module partial_ord

Module partial_ord 

Source
Expand description

Custom Partial Order Trait

This module defines a new PartialOrdering trait which is different to the standard libraries PartialOrd trait. The reason is to allow for a more flexible definition of what a partial order is and how it behaves on different objects.

Macros§

impl_partial_order 🔒

Structs§

SetMinimalBasis
Set of configurations where each element is incomparable to every other element in the set

Enums§

PartialOrdCompResult
Result of a comparison in a partial order between an object a and b

Traits§

PartialOrder
Trait for types implementing a partial order