Trait rate_common::memory::HeapSpace

pub trait HeapSpace {
    fn heap_space(&self) -> usize;
}

A trait for objects that can report their memory usage on the heap

Required methods

fn heap_space(&self) -> usize

The number of bytes allocated on the heap that this owns.

Loading content...

Implementors

impl HeapSpace for Assignment

fn heap_space(&self) -> usize

impl HeapSpace for ClauseDatabase

fn heap_space(&self) -> usize

impl HeapSpace for WitnessDatabase

fn heap_space(&self) -> usize

impl HeapSpace for HashTable

fn heap_space(&self) -> usize

impl HeapSpace for Parser

fn heap_space(&self) -> usize

impl HeapSpace for Sick

fn heap_space(&self) -> usize

impl HeapSpace for Witness

fn heap_space(&self) -> usize

impl<I: Offset, T: HeapSpace> HeapSpace for Array<I, T>

fn heap_space(&self) -> usize

impl<Key: Offset + Copy + Debug, T: Copy + Debug> HeapSpace for StackMapping<Key, T>

fn heap_space(&self) -> usize

impl<T> HeapSpace for BoundedVector<T> where
    T: HeapSpace, 

fn heap_space(&self) -> usize

impl<T: HeapSpace> HeapSpace for Vector<T>

fn heap_space(&self) -> usize

impl<T: Copy> HeapSpace for T

fn heap_space(&self) -> usize

Loading content...