menu
z3 package
documentation
z3.dart
z3GlobalGetEstimatedAllocatedMemory function
z3GlobalGetEstimatedAllocatedMemory function
dark_mode
light_mode
z3GlobalGetEstimatedAllocatedMemory
function
int
z3GlobalGetEstimatedAllocatedMemory
(
)
Implementation
int z3GlobalGetEstimatedAllocatedMemory() => _libz3.get_estimated_alloc_size();
z3 package
documentation
z3
z3GlobalGetEstimatedAllocatedMemory function
z3 library