Class PropVar

java.lang.Object

Formula

PropVar

public class PropVar
extends Formula

Describes a propositional variable as a Card - playerID pair.

Field Summary

Fields

Modifier and Type	Field and Description
private Card	card
private int	playerID

Constructor Summary

Constructors

Constructor and Description
PropVar(Card card, int playerID) Create a new Propositional variable, mapping a card onto a player.

Method Summary

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

Methods inherited from class Formula

evaluate, implies, memoize, negate, simplify

Methods inherited from class java.lang.Object

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

Field Detail

card

private Card card

playerID

private int playerID

Constructor Detail

PropVar

public PropVar(Card card,
               int playerID)

Create a new Propositional variable, mapping a card onto a player.

Parameters:

card - The card that should be hold by player `playerID`

playerID - The player that should hold `card`

Method Detail

getCard

public Card getCard()

Get the card this propositional variable is about.

Returns:

The card

getPlayer

public int getPlayer()

Get the player that the propositional variable is about.

Returns:

The player

evaluate

public boolean evaluate(KripkeModel model,
                        int state)

Evaluate the propositional variable in `state` using `model`

Specified by:

evaluate in class Formula

Parameters:

model - The model used for evaluation

state - The state to evaluate the variable in

Returns:

`true` if the propositional variable holds, `false` otherwise

toString

public java.lang.String toString()

Return a string representation of this Formula

Specified by:

toString in class Formula

Returns:

String representation