Esempio n. 1
0
function buildTrie($fileName)
{
    $playerData = json_decode(file_get_contents($fileName));
    $trie = new \Tries\Trie();
    foreach ($playerData as $player) {
        $playerName = $player->surname . ', ' . $player->firstname;
        $trie->add(strtolower($playerName), $player, false);
    }
    return $trie;
}
Esempio n. 2
0
function buildTries($fileName)
{
    echo 'Loading dictionary', PHP_EOL;
    $wordData = json_decode(file_get_contents($fileName));
    $trie = new \Tries\Trie();
    $rtrie = new \Tries\Trie();
    $wordCount = 0;
    foreach ($wordData as $word) {
        if ($wordCount > 0 && $wordCount % 1000 == 0) {
            echo '.';
        }
        if ($word > '') {
            $trie->add($word);
            $rtrie->add(strrev($word));
            ++$wordCount;
        }
    }
    echo PHP_EOL, "Added {$wordCount} words from dictionary", PHP_EOL;
    return array('trie' => $trie, 'rtrie' => $rtrie);
}