Struct zdd::factory::FactoryBuilder

pub struct FactoryBuilder { /* fields omitted */ }

A factory for Factory to set the capacity of the consign and the caches.

Example

Each initial capacity can be set separately.

use zdd::FactoryBuilder ;

let factory = FactoryBuilder::mk()
  .consign_len(1)
  .count_cache_len(2)
  .offset_cache_len(3).onset_cache_len(4).change_cache_len(5)
  .union_cache_len(6).inter_cache_len(7).minus_cache_len(8)
  .build::<usize>() ;

Or at the same time.

use zdd::FactoryBuilder ;
let factory = FactoryBuilder::mk().len(7).build::<usize>() ;

It is also possible to set all the caches capacities at once.

use zdd::FactoryBuilder ;
let factory = FactoryBuilder::mk().caches_len(7).build::<usize>() ;

Methods

impl FactoryBuilder

pub fn build<Label: Eq + Hash + Clone>(self) -> Factory<Label>

Builds a factory with the corresponding capacities.

pub fn build_arc<Label: Eq + Hash + Clone>(self) -> Arc<Factory<Label>>

Builds an Arc of a factory with the corresponding capacities.

pub fn mk() -> Self

Creates a new factory builder with all capacities equal to zero.

pub fn len(self, l: usize) -> Self

Sets the capacities of the consign and all the caches at once.

pub fn consign_len(self, l: usize) -> Self

Sets the capacity of the consign.

pub fn caches_len(self, l: usize) -> Self

Sets the capacities of all the caches at once.

pub fn count_cache_len(self, l: usize) -> Self

Sets the capacity of the count cache.

pub fn offset_cache_len(self, l: usize) -> Self

Sets the capacity of the offset cache.

pub fn onset_cache_len(self, l: usize) -> Self

Sets the capacity of the onset cache.

pub fn change_cache_len(self, l: usize) -> Self

Sets the capacity of the change cache.

pub fn union_cache_len(self, l: usize) -> Self

Sets the capacity of the union cache.

pub fn inter_cache_len(self, l: usize) -> Self

Sets the capacity of the inter cache.

pub fn minus_cache_len(self, l: usize) -> Self

Sets the capacity of the minus cache.

pub fn subset_cache_len(self, l: usize) -> Self

Sets the capacity of the minus cache.