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