Class StateDealingMap

java.lang.Object

StateDealingMap

public class StateDealingMap
extends java.lang.Object

Maps states to valuations. These valuations are represented as possible dealings. State 0 is the point of the model. As of now, when constructing the map, the program does not take smart advantage of the fact that when a card already has bean dealt, it cannot be dealt again. We could implement a deck that becomes smaller, as more cards are dealt. When we do this, we don't have to check whether a card already has been dealt in a Dealing. The algorithm will maximally double in speed when this is implemented. A map construction starting at the point of the model might be a better idea.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.HashMap<java.lang.Integer,Dealing>	map

Constructor Summary

Constructors

Constructor and Description
StateDealingMap(Dealing point, int players) Builds a StateDealingMap with all possible dealings.

Method Summary

Modifier and Type	Method and Description
private void	addToMap(Dealing dealing, Dealing point) Saves a dealing to the map.
private void	buildMap(int[] categorySizes, int players, Dealing point, int totalCards) Builds the Hashmap
private java.util.ArrayList<DealingState>	dealCardTo(int playerID, DealingState state)
private java.util.ArrayList<Dealing>	dealNCardsTo(int playerID, Dealing soFar, int n) Wrapper function
private java.util.ArrayList<DealingState>	dealNCardsTo(int playerID, DealingState state, int n)
Dealing	get(java.lang.Integer state)
Dealing	getValuation(int state)
private void	mapDealings(int playerID, Dealing soFar, int players, Dealing point, int maxHandSize, int cardsLeft)
Dealing	point()
private java.util.ArrayList<Dealing>	possibleEnvelopeDealings(int catNr, Dealing soFar, int[] categorySizes)
int	size()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

map

private java.util.HashMap<java.lang.Integer,Dealing> map

Constructor Detail

StateDealingMap

public StateDealingMap(Dealing point,
                       int players)

Builds a StateDealingMap with all possible dealings.

Parameters:

point - The point of the Kripke Model that contains this StateDealingMap

players - The number of agents in the KripkeModel

Method Detail

get

public Dealing get(java.lang.Integer state)

size

public int size()

buildMap

private void buildMap(int[] categorySizes,
                      int players,
                      Dealing point,
                      int totalCards)

Builds the Hashmap

Parameters:

categorySizes - List of sizes of card getCategories

players - Number of players in the game

point - Point of pointed model

totalCards - Total number of cards in the game

possibleEnvelopeDealings

private java.util.ArrayList<Dealing> possibleEnvelopeDealings(int catNr,
                                                              Dealing soFar,
                                                              int[] categorySizes)

Parameters:

catNr - Current category number

soFar - Dealing to the envelope so far

categorySizes - List of sizes of card getCategories

Returns:

A list of all possible dealings to the envelope in which cards are only dealt to the envelope

mapDealings

private void mapDealings(int playerID,
                         Dealing soFar,
                         int players,
                         Dealing point,
                         int maxHandSize,
                         int cardsLeft)

Parameters:

playerID - Player that is currently being dealt to

soFar - The dealing so far

players - Number of players in the game

point - Point of the model

maxHandSize - Maximum number of cards a player

cardsLeft - Number of cards that have not been dealt yet

dealNCardsTo

private java.util.ArrayList<Dealing> dealNCardsTo(int playerID,
                                                  Dealing soFar,
                                                  int n)

Wrapper function

Parameters:

playerID - Player to be dealt to

soFar - The dealing so far

n - number of cards to be dealt

Returns:

A list of all possible ways in which n cards are dealt to the player

dealNCardsTo

private java.util.ArrayList<DealingState> dealNCardsTo(int playerID,
                                                       DealingState state,
                                                       int n)

Parameters:

playerID - Player to be dealt to

state - Current dealing state keeping track of the previous card being dealt. New cards should be drawn from further in the deck so that there cannot be duplicate states.

n - number of cards to be dealt

Returns:

Individual ways in which player playerID can get n cards dealt

addToMap

private void addToMap(Dealing dealing,
                      Dealing point)

Saves a dealing to the map. If the dealing is the point, it is ignored, since it already has been added.

Parameters:

dealing - The dealing to be saved to the map

point - The point of the Kripke model of which the states are being constructed

dealCardTo

private java.util.ArrayList<DealingState> dealCardTo(int playerID,
                                                     DealingState state)

Parameters:

playerID - Agent that is being dealt to

state - current state of the dealing, keeping track of the previously dealt card

Returns:

List of all possible dealings that result from soFar when player playerID gets any new card

point

public final Dealing point()

Returns:

Point that was used to initialise this StateDealingMap

getValuation

public final Dealing getValuation(int state)

Parameters:

state - A state in the KripkeModel

Returns:

Valuation (Dealing) of the specified state