Trait SatCountNumber

pub trait SatCountNumber:
    Clone
    + From<u32>
    + for<'a> AddAssign<&'a Self>
    + for<'a> SubAssign<&'a Self>
    + ShlAssign<u32>
    + ShrAssign<u32>
    + IsFloatingPoint { }

A number type suitable for counting satisfying assignments

Object Safety

This trait is not object safe.

Implementors

impl<T: Clone + From<u32> + for<'a> AddAssign<&'a T> + for<'a> SubAssign<&'a T> + ShlAssign<u32> + ShrAssign<u32> + IsFloatingPoint> SatCountNumber for T