public class PropVar extends Formula
| Constructor and Description |
|---|
PropVar(Card card,
int playerID)
Create a new Propositional variable, mapping a card onto a player.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
evaluate(KripkeModel model,
int state)
Evaluate the propositional variable in `state` using `model`
|
Card |
getCard()
Get the card this propositional variable is about.
|
int |
getPlayer()
Get the player that the propositional variable is about.
|
java.lang.String |
toString()
Return a string representation of this Formula
|
private Card card
private int playerID
public PropVar(Card card, int playerID)
card - The card that should be hold by player `playerID`playerID - The player that should hold `card`public Card getCard()
public int getPlayer()
public boolean evaluate(KripkeModel model, int state)