Trait abstalg::Domain

pub trait Domain: Clone {
    type Elem: Clone + Debug;

    fn equals(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> bool;

    fn contains(&self, _elem: &Self::Elem) -> bool { ... }
}

An arbitrary set of elements where not all representable objects are members of the set. The same element can be represented by different objects, thus the equals method shall be used in place of ==.

Required Associated Types

type Elem: Clone + Debug

The type of the elements of this domain.

Required Methods

fn equals(&self, elem1: &Self::Elem, elem2: &Self::Elem) -> bool

Checks if the given objects represent the same element of the set.

Provided Methods

fn contains(&self, _elem: &Self::Elem) -> bool

Checks if the given object is a member of the domain.

Implementors

impl Domain for Integers

type Elem = BigInt

impl Domain for TwoElementAlgebra

type Elem = bool

impl<A> Domain for AdditiveGroup<A> where
    A: AbelianGroup, 

type Elem = <A as Domain>::Elem

impl<A> Domain for MatrixRing<A> where
    A: Field, 

type Elem = Vec<<A as Domain>::Elem, Global>

impl<A> Domain for MultiplicativeGroup<A> where
    A: Monoid, 

type Elem = <A as Domain>::Elem

impl<A> Domain for PolynomialAlgebra<A> where
    A: AbelianGroup, 

type Elem = Vec<<A as Domain>::Elem, Global>

impl<A> Domain for QuotientField<A> where
    A: EuclideanDomain, 

type Elem = <A as Domain>::Elem

impl<A> Domain for QuotientRing<A> where
    A: EuclideanDomain, 

type Elem = <A as Domain>::Elem

impl<A> Domain for ReducedFractions<A> where
    A: EuclideanDomain, 

type Elem = Ratio<<A as Domain>::Elem>

impl<A> Domain for VectorAlgebra<A> where
    A: Domain, 

type Elem = Vec<<A as Domain>::Elem, Global>

impl<A: IntegralDomain> Domain for DivisibilityOrder<A>

type Elem = <A as Domain>::Elem

impl<E> Domain for ApproxFloats<E> where
    E: Float + Debug + Zero + One + From<isize>, 

type Elem = E

impl<E> Domain for CheckedInts<E> where
    E: PrimInt + Signed + Debug + From<i8> + TryFrom<isize>, 

type Elem = E