[][src]Struct restricted_tuple::Counter

pub struct Counter { /* fields omitted */ }

Counter for calculating number of restricted tuples


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

impl Clone for Counter[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

Auto Trait Implementations

impl Sync for Counter

impl Unpin for Counter

impl Send for Counter

impl UnwindSafe for Counter

impl RefUnwindSafe for Counter

Blanket Implementations

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<T> Any for T where
    T: 'static + ?Sized