static function initEquivSet() { if (is_null(self::$equivset)) { self::$equivset = unserialize(file_get_contents(__DIR__ . '/equivset.ser')); } }
static function initEquivSet() { if (is_null(self::$equivset)) { self::$equivset = unserialize(file_get_contents(dirname(__FILE__) . '/equivset.ser')); } }