Function z3_sys::Z3_get_estimated_alloc_size [−][src]
pub unsafe extern "C" fn Z3_get_estimated_alloc_size() -> u64
Expand description
Return the estimated allocated memory in bytes.
pub unsafe extern "C" fn Z3_get_estimated_alloc_size() -> u64
Return the estimated allocated memory in bytes.