Struct DMApplyCache 

pub struct DMApplyCache<M: Manager, O, H, const ARITY: usize = 2>(/* private fields */);

Fixed-size direct mapped apply cache

Implementations

impl<M, O, H, const ARITY: usize> DMApplyCache<M, O, H, ARITY>

where M: Manager, O: Copy + Eq + Hash, H: Hasher + Default,

pub unsafe fn with_capacity(capacity: usize) -> Self

Create a new ApplyCache with the given capacity (entries).

Safety

The apply cache must only be used inside a manager that guarantees all node deletions to be wrapped inside an ManagerEventSubscriber::pre_gc() / ManagerEventSubscriber::post_gc() pair.

Trait Implementations

impl<M, O, H, const ARITY: usize> ApplyCache<M, O> for DMApplyCache<M, O, H, ARITY>

where M: Manager, O: Copy + Hash + Ord, H: Hasher + Default,

fn get_with_numeric( &self, manager: &M, operator: O, operands: &[Borrowed<'_, M::Edge>], numeric_operands: &[u32], ) -> Option<M::Edge>

Get the result of operation, if cached

fn add_with_numeric( &self, manager: &M, operator: O, operands: &[Borrowed<'_, M::Edge>], numeric_operands: &[u32], value: Borrowed<'_, M::Edge>, )

Add the result of operation to this cache

fn clear(&self, _manager: &M)

Remove all entries from the cache

fn get( &self, manager: &M, operator: O, operands: &[Borrowed<'_, <M as Manager>::Edge>], ) -> Option<<M as Manager>::Edge>

Shorthand for Self::get_with_numeric() without numeric operands

fn add( &self, manager: &M, operator: O, operands: &[Borrowed<'_, <M as Manager>::Edge>], value: Borrowed<'_, <M as Manager>::Edge>, )

Shorthand for Self::add_with_numeric() without numeric operands

impl<M, O, H, const ARITY: usize> Debug for DMApplyCache<M, O, H, ARITY>

where M: Manager, M::Edge: Debug, O: Copy + Eq + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<M: Manager, O, H, const ARITY: usize> DropWith<<M as Manager>::Edge> for DMApplyCache<M, O, H, ARITY>

where O: Copy + Eq + Hash,

fn drop_with(self, _drop_edge: impl Fn(M::Edge))

Drop self

fn drop_with_manager<M>(self, manager: &M)

where M: Manager<Edge = E>,

Drop self

impl<M, O, H, const ARITY: usize> ManagerEventSubscriber<M> for DMApplyCache<M, O, H, ARITY>

where M: Manager, O: Copy + Hash + Ord, H: Hasher + Default,

fn pre_gc(&self, _manager: &M)

Prepare a garbage collection

unsafe fn post_gc(&self, _manager: &M)

Post-process a garbage collection

fn init(&self, manager: &M)

Initialization

fn init_mut(manager: &mut M)

Initialization

fn pre_reorder(&self, manager: &M)

Prepare a reordering operation (including any addition of levels)

fn pre_reorder_mut(manager: &mut M)

Prepare a reordering operation (including any addition of levels)

fn post_reorder(&self, manager: &M)

Post-process a reordering operation

fn post_reorder_mut(manager: &mut M)

Post-process a reordering operation

impl<M, O, H, const ARITY: usize> StatisticsGenerator for DMApplyCache<M, O, H, ARITY>

where M: Manager, O: Copy + Eq,

fn print_stats(&self)

Print statistics to stdout