Class Dealing

java.lang.Object

Dealing

public class Dealing
extends java.lang.Object

A Dealing contains the information about which cards are held by whom and which cards are in the envelope. This information is represented as a 2D ragged array. The first index specifies the category of the card (e.g. 0th category means weapon) and the second index specifies the card number (e.g. 4th weapon means lead pipe). The entries in the array specify the number of the agent that is holding the card. An entry of 0 means that the card is in the envelope. An entry of -1 means that the specified card has not yet been dealt.

Field Summary

Fields

Modifier and Type	Field and Description
private int[][]	dealing
private java.util.Random	rand

Constructor Summary

Constructors

Constructor and Description
Dealing(Dealing other)
Dealing(int[] sizes) Empty valuation with a specified size (empty means every card belongs to no one (-1)).
Dealing(int[][] dealing)

Method Summary

Modifier and Type	Method and Description
void	deal(int agent, Card card) This function alters this Dealing instance, where dealTo returns a copy of itself in which the specified card has been dealt to the specified player
void	deal(int playerID, int category, int cardnumber) This function alters this Dealing instance, where dealTo returns a copy of itself in which the specified card has been dealt to the specified player
Dealing	dealTo(int playerID, int category, int cardnumber)
Dealing	envelopeDealing()
boolean	equals(Dealing other)
int	getCategories()
boolean	isTrue(PropVar var)
int	numberOfCards(int category)
int	player(int category, int card)
void	print()
private void	randomDealing(int agent, int agents, java.util.ArrayList<Card> cardList)
Dealing	randomize(int agents) Returns a random dealing to the specified number of agents

Methods inherited from class java.lang.Object

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

Field Detail

dealing

private int[][] dealing

rand

private java.util.Random rand

Constructor Detail

Dealing

public Dealing(int[][] dealing)

Parameters:

dealing - List of categories with in each category a number of cards that are in the hands of a specific player e.g. [1][2] == 3 means player 3 has the second card of category 1.

Dealing

public Dealing(int[] sizes)

Empty valuation with a specified size (empty means every card belongs to no one (-1)).

Parameters:

sizes - List of category sizes.

Dealing

public Dealing(Dealing other)

Parameters:

other - Valuation to be deep copied.

Method Detail

getCategories

public int getCategories()

Returns:

number of categories (e.g. weapon) in the valuation

numberOfCards

public int numberOfCards(int category)

Parameters:

category - Category for which the number of cards is returned

Returns:

number of cards in the specified category

player

public int player(int category,
                  int card)

isTrue

public boolean isTrue(PropVar var)

Parameters:

var - Propositional variable to be evaluated in this valuation (Dealing)

Returns:

Whether the propositional variable is true in this valuation

print

public void print()

dealTo

public Dealing dealTo(int playerID,
                      int category,
                      int cardnumber)

Parameters:

playerID - Player that the specified card is dealt to.

category - Category of the card that is being dealt.

cardnumber - Card number of the card that is being dealt.

Returns:

null if the card has already been dealt to a player. A new dealing with the card dealt to the specified player otherwise.

deal

public void deal(int playerID,
                 int category,
                 int cardnumber)

This function alters this Dealing instance, where dealTo returns a copy of itself in which the specified card has been dealt to the specified player

Parameters:

playerID - Player that the specified card is dealt to.

category - Category of the card that is being dealt.

cardnumber - Card number of the card that is being dealt.

deal

public void deal(int agent,
                 Card card)

This function alters this Dealing instance, where dealTo returns a copy of itself in which the specified card has been dealt to the specified player

Parameters:

agent - Player that the specified card is dealt to.

card - Card that is being dealt.

randomize

public Dealing randomize(int agents)

Returns a random dealing to the specified number of agents

Parameters:

agents - Number of agents to be dealt to.

Returns:

The randomized dealing

randomDealing

private void randomDealing(int agent,
                           int agents,
                           java.util.ArrayList<Card> cardList)

equals

public boolean equals(Dealing other)

envelopeDealing

public Dealing envelopeDealing()

Returns:

Current dealing with only cards dealt to the envelope. Other cards have not been dealt yet.