Example #1
0
function _get_frequency_lists()
{
    $lists = array();
    $json = file_get_contents(dirname(__FILE__) . '/generated/frequency_lists.json');
    $rows = json_decode($json, $assoc = TRUE);
    foreach ($rows as $name => $wordlist) {
        $lists[] = build_dict_matcher($name, build_ranked_dict($wordlist));
    }
    return $lists;
}
Example #2
0
    build_dict_matcher( 'english', build_ranked_dict( $english ) ), 
    build_dict_matcher( 'male_names', build_ranked_dict( $male_names ) ), 
    build_dict_matcher( 'female_names', build_ranked_dict( $female_names ) ), 
    build_dict_matcher( 'surnames', build_ranked_dict( $surnames ) ), 
    build_dict_matcher( 'user_inputs', $ranked_user_inputs_dict )
);

$GRAPHS = array(
    'qwerty' => $qwerty,
    'dvorak' => $dvorak,
    'keypad' => $keypad,
    'mac_keypad' => $mac_keypad
);
*/
$DICTIONARY_MATCHERS = _get_frequency_lists();
$DICTIONARY_MATCHERS[] = build_dict_matcher('user_inputs', $ranked_user_inputs_dict);
$GRAPHS = _get_adjacency_graphs();
$MATCHERS = array_merge($DICTIONARY_MATCHERS, array($l33t_match, $digits_match, $year_match, $date_match, $repeat_match, $sequence_match, $spatial_match));
function calc_average_degree($graph)
{
    $average = 0;
    $key;
    foreach ($graph as $neighbors) {
        $results = array();
        $len = count($neighbors);
        $i;
        for ($i = 0; $i < $len; $i++) {
            $n = $neighbors[$i];
            if ($n) {
                $results[] = $n;
            }