var class_numerical___player =
[
    [ "Numerical_Player", "class_numerical___player.html#ac06b7137262ec17ffad2529fae783e2b", null ],
    [ "isOdd", "class_numerical___player.html#a0343bd66f4c4a466f6135711e43f9f57", null ]
];