public int getPlayerCurrentBetAmount(Player p) {
   return TokenSetValueEvaluator.evaluateTokenSetValue(
       this.tokenValueDefinition, this.playersBets.get(p.getAID()));
 }
 public TokenSet getPlayerCurrentBet(Player p) {
   return this.playersBets.get(p.getAID());
 }