[−][src]Struct restricted_tuple::Counter
Counter for calculating number of restricted tuples
Methods
impl Counter[src]
pub fn new(cache: &mut CountingFunctionCache, sets: &[usize]) -> Counter[src]
Creates a counter.
pub fn count_total(&self, length: usize) -> BigUint[src]
Returns the total number of restrict tuples given the sets and the length.
Trait Implementations
Auto Trait Implementations
impl Sync for Counter
impl Send for Counter
impl Unpin for Counter
impl RefUnwindSafe for Counter
impl UnwindSafe for Counter
Blanket Implementations
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T[src]
fn clone_into(&self, target: &mut T)[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> From<T> for T[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,