public abstract class AbstractPlayer
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
private KripkeModel |
model |
private int |
number |
| Constructor and Description |
|---|
AbstractPlayer(KripkeModel model,
int number)
Creates a new AbstractPlayer.
|
| 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
|
private KripkeModel model
private int number
public AbstractPlayer(KripkeModel model, int number)
model - The model this agent should usenumber - The number for this agentpublic boolean doesKnow(Formula formula)
formula - The formula to checkpublic boolean doesConsider(Formula formula)
formula - The formula to checkpublic int getNumber()
public int getCardCategories()
public int getCardsForCategory(int category)
category - The category to get the number of cards forpublic int getAgents()