| ChooseMove(void) | Player |  [inline, protected, virtual] | 
| GetColor(void) | Player |  [inline] | 
| GetHistory(void) | Player |  [inline] | 
| GetName(void) | Player |  [inline] | 
| GetPosition(void) | Player |  [inline] | 
| History | Player |  [protected] | 
| IsSpy(void) | Player |  [virtual] | 
| NumTokens(TokenType) | Player |  [inline, virtual] | 
| Player(void) | Player |  [inline, protected] | 
| Player(char *name, int color) | Player | |
| Player(char *name, int color, PosType pos) | Player | |
| Pos | Player |  [protected] | 
| Position(void) | Player |  [inline] | 
| TakeTurn(void) | Player |  [inline, virtual] | 
| ~Player(void) | Player |  [inline, virtual] | 
 1.2.15
1.2.15