Class AbstractPlayer

java.lang.Object

AbstractPlayer

Direct Known Subclasses:

Player

public abstract class AbstractPlayer
extends java.lang.Object

A class used to hide the model from the actual player, so strategies cannot simply pull the correct accusation out of the model.

Field Summary

Fields

Modifier and Type	Field and Description
private KripkeModel	model
private int	number

Constructor Summary

Constructors

Constructor and Description
AbstractPlayer(KripkeModel model, int number) Creates a new AbstractPlayer.

Method Summary

Modifier and Type	Method and Description
boolean	doesConsider(Formula formula) Check to see if this agent considers a formula possible
boolean	doesKnow(Formula formula) Check to see if this agent knows a formula
int	getAgents() Get the number of agents playing in this game
int	getCardCategories() The number of card categories this agent knows of
int	getCardsForCategory(int category) The number of cards for a certain category this agent knows of
int	getNumber() The agent number for this agent

Methods inherited from class java.lang.Object

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

Field Detail

model

private KripkeModel model

number

private int number

Constructor Detail

AbstractPlayer

public AbstractPlayer(KripkeModel model,
                      int number)

Creates a new AbstractPlayer. To be used to set the model and agent number

Parameters:

model - The model this agent should use

number - The number for this agent

Method Detail

doesKnow

public boolean doesKnow(Formula formula)

Check to see if this agent knows a formula

Parameters:

formula - The formula to check

Returns:

`true` if the agent knows the formula, `false` otherwise

doesConsider

public boolean doesConsider(Formula formula)

Check to see if this agent considers a formula possible

Parameters:

formula - The formula to check

Returns:

`true` if the agent considers this formula, `false` otherwise

getNumber

public int getNumber()

The agent number for this agent

Returns:

The agent number

getCardCategories

public int getCardCategories()

The number of card categories this agent knows of

Returns:

Number of card categories

getCardsForCategory

public int getCardsForCategory(int category)

The number of cards for a certain category this agent knows of

Parameters:

category - The category to get the number of cards for

Returns:

The number of cards in `category`

getAgents

public int getAgents()

Get the number of agents playing in this game

Returns:

the number of agents