- Panels() - Constructor for enum Table.Initializer.Panels
-
- parent - Variable in class Relations
-
- PlayableAccusationStrategy - Class in <Unnamed>
-
- PlayableAccusationStrategy(String) - Constructor for class PlayableAccusationStrategy
-
- PlayableAccusationStrategy.AccusationGUI - Class in <Unnamed>
-
- PlayableAccusationStrategy.AccusationGUI.AccusationPanel - Class in <Unnamed>
-
- PlayableAccusationStrategy.AccusationGUI.AccusationPanel.AccusationDoneListener - Class in <Unnamed>
-
- PlayableAccusationStrategy.AccusationGUI.AccusationPanel.AccusationNoneListener - Class in <Unnamed>
-
- PlayableResponseStrategy - Class in <Unnamed>
-
- PlayableResponseStrategy(String) - Constructor for class PlayableResponseStrategy
-
- PlayableSuspicionStrategy - Class in <Unnamed>
-
- PlayableSuspicionStrategy(String) - Constructor for class PlayableSuspicionStrategy
-
- PlayableSuspicionStrategy.SuspicionGUI - Class in <Unnamed>
-
- PlayableSuspicionStrategy.SuspicionGUI.SuspicionPanel - Class in <Unnamed>
-
- PlayableSuspicionStrategy.SuspicionGUI.SuspicionPanel.SuspicionListener - Class in <Unnamed>
-
- player(int, int) - Method in class Dealing
-
- Player - Class in <Unnamed>
-
Class that implements players (agents).
- Player(Card, Card, int, KripkeModel, String, String, String) - Constructor for class Player
-
Constructor for Player class
- Player(CardSet, int, KripkeModel) - Constructor for class Player
-
Constructor for Player class
- Player(CardSet, int, KripkeModel, String, String, String) - Constructor for class Player
-
Constructor for Player class
- Player(CardSet, int, KripkeModel, SuspicionStrategy, ResponseStrategy, AccusationStrategy) - Constructor for class Player
-
Constructor for Player class
- playerID - Variable in class PropVar
-
- players - Variable in class GameLoop
-
- players - Variable in class Table
-
- point() - Method in class KripkeModel
-
- point() - Method in class StateDealingMap
-
- possibleEnvelopeDealings(int, Dealing, int[]) - Method in class StateDealingMap
-
- previous - Variable in class DealingState
-
- print() - Method in class Dealing
-
- print(String, Formula) - Static method in class FormulaTester
-
- privateAnnouncement(Formula, Integer) - Method in class KripkeModel
-
Removes all relations of agent 'agent' from the Kripke model between states where the evaluation of phi differs.
- PrivateAnnouncement - Class in <Unnamed>
-
Formula to evaluate our Private Announcements
- PrivateAnnouncement(Set<Integer>, Formula, Formula) - Constructor for class PrivateAnnouncement
-
Create a new Private Announcement formula
- privateAnnouncement(Formula, Integer) - Method in class Relations
-
Updates the relations according to the specified private announcement
- PropVar - Class in <Unnamed>
-
Describes a propositional variable as a Card - playerID pair.
- PropVar(Card, int) - Constructor for class PropVar
-
Create a new Propositional variable, mapping a card onto a player.
- publicAnnouncement(Formula) - Method in class KripkeModel
-
Removes all states from the Kripke model in which phi does not hold.
- PublicAnnouncement - Class in <Unnamed>
-
Formula to evaluate the Public Announcement operator from PAC
- PublicAnnouncement(Formula, Formula) - Constructor for class PublicAnnouncement
-
Create a new public announcement