Destruct a Judy objectpublic void Judy::__destruct ( void )PHP Versions(PECL judy >= 0.1.1) PHP Manual