Trait math::set::traits::Refineable

pub trait Refineable<O> {
    // Required method
    fn get_common_refinement(&self, other: &Self) -> O;
}

Given two sets of the same type that are Refineable, their common refinement can be obtained

Required Methods

fn get_common_refinement(&self, other: &Self) -> O

Object Safety

This trait is not object safe.

Implementors

impl<E> Refineable<Vec<ContiguousIntegerSet<E>>> for ContiguousIntegerSet<E>

where E: Integer + Copy + ToPrimitive,

impl<E: Integer + Copy> Refineable<OrderedIntervalPartitions<E>> for OrderedIntervalPartitions<E>