Trait SatCountNumber 

pub trait SatCountNumber:
    Clone
    + From<u32>
    + Add<Self, Output = Self>
    + Shl<u32, Output = Self>
    + Shr<u32, Output = Self>
    + IsFloatingPoint { }

A number type suitable for counting satisfying assignments

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<T> SatCountNumber for T

where T: Clone + From<u32> + Add<Self, Output = Self> + Shl<u32, Output = Self> + Shr<u32, Output = Self> + IsFloatingPoint,