Struct restricted_tuple::Counter
[−]
[src]
pub struct Counter { /* fields omitted */ }
Counter for calculating number of restricted tuples
Methods
impl Counter
[src]
fn new(cache: &mut CountingFunctionCache, sets: &Vec<usize>) -> Counter
Creates a counter.
fn count_total(&self, length: usize) -> BigUint
Returns the total number of restrict tuples given the sets and the length.
Trait Implementations
impl Clone for Counter
[src]
fn clone(&self) -> Counter
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more