Trait oxidd_core::util::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