| Interface | Description |
|---|---|
| GroupKnow |
Interface for Knowledge operators over groups
|
| Class | Description |
|---|---|
| AbstractPlayer |
A class used to hide the model from the actual player, so strategies cannot
simply pull the correct accusation out of the model.
|
| AccusationStrategy |
Class for Accusation Strategies
|
| And |
Implements the conjunction of two or more formulas
|
| Card |
Represents a card as a category-number pair (e.g.
|
| CardSet | |
| CardTest | |
| Cluedo | |
| CommonKnow |
Implements the C_g operator from S5
|
| Dealing |
A Dealing contains the information about which cards are held by whom and which
cards are in the envelope.
|
| DealingState |
A class that represents a specific moment during the dealing.
|
| EveryKnows |
Implements the E_g operator from S5
|
| Formula |
Superclass for all Formulas
|
| FormulaTester | |
| GameLoop |
Class to handle all the game logic in Cluedo.
|
| ImplicitKnow |
Implements the I_g operator from S5
|
| JTextStream | |
| Know |
Implements the K_i operator for S5
|
| KripkeModel | |
| Maybe |
Implements the M_i operator for S5
|
| MemoizationFormula |
Formula that remembers its evaluation in a state
|
| MultiCommon |
A class to make it faster to evaluate disjunctions or conjunctions of
Common Knowledge for the same group of agents by evaluating multiple
formulas at the same time
|
| MultiEvery |
A class to make it faster to evaluate disjunctions or conjunctions of
General Knowledge for the same group of agents by evaluating multiple
formulas at the same time
|
| MultiImplicit |
A class to make it faster to evaluate disjunctions or conjunctions of
Implicit Knowledge for the same group of agents by evaluating multiple
formulas at the same time
|
| Neg |
Implements the negation of a formula
|
| Or |
Implements the disjunction of two or more Formulas
|
| PlayableAccusationStrategy | |
| PlayableResponseStrategy | |
| PlayableSuspicionStrategy | |
| Player |
Class that implements players (agents).
|
| PrivateAnnouncement |
Formula to evaluate our Private Announcements
|
| PropVar |
Describes a propositional variable as a Card - playerID pair.
|
| PublicAnnouncement |
Formula to evaluate the Public Announcement operator from PAC
|
| Relations | |
| ResponseStrategy |
Class for Response Strategies
|
| StateDealingMap |
Maps states to valuations.
|
| Strategy |
Superclass that implements strategies
|
| StrategySet | |
| SuspicionStrategy |
Class for Suspicion Strategies
|
| Table | |
| Table.Initializer | |
| Tester |
| Enum | Description |
|---|---|
| Table.Initializer.Panels |