- saveInput() - Method in class Table.Initializer.StrategiesPanel.StrategyPanel
-
- sdMap - Variable in class KripkeModel
-
- set(int...) - Static method in class FormulaTester
-
- set(int...) - Method in class GameLoop
-
Create a set of agents
- set - Variable in class MemoizationFormula
-
- setAccusation(AccusationStrategy) - Method in class StrategySet
-
- setBusy(boolean) - Method in class Cluedo
-
- setDefaultDealing() - Method in class Table.Initializer
-
- setDefaultStrategies() - Method in class Table.Initializer
-
- setEnabledButtons(boolean) - Method in class Cluedo
-
Set whether or not the buttons should be enabled
- setRandomDealing() - Method in class Table.Initializer.RandomButton.RandomListener
-
- setRandomStrategies() - Method in class Table.Initializer.RandomButton.RandomListener
-
- setResponse(ResponseStrategy) - Method in class StrategySet
-
- setSuspicion(SuspicionStrategy) - Method in class StrategySet
-
- showNotReady() - Method in class Table.Initializer.DealPanel
-
- shuffle(int[]) - Method in class Strategy
-
Shuffles an array
- simpleStrategy(Player, CardSet, CardSet, int) - Method in class ResponseStrategy
-
The simple strategy: if the agent knows the other agent knows one of the cards, show that one, else, choose a random card
- simplify() - Method in class Formula
-
Simplify a Formula for easier evaluation
- simplify() - Method in class Neg
-
- simplify() - Method in class Or
-
Simplify this formula by checking if it is a disjunction of
Common/General/Implicit knowledge for a group of agents
- size() - Method in class CardSet
-
Get the number of cards in this CardSet
- size() - Method in class StateDealingMap
-
- skip - Variable in class GameLoop
-
- StateDealingMap - Class in <Unnamed>
-
Maps states to valuations.
- StateDealingMap(Dealing, int) - Constructor for class StateDealingMap
-
Builds a StateDealingMap with all possible dealings.
- states - Variable in class KripkeModel
-
- step() - Method in class GameLoop
-
Play one turn of the game for the current player
- stepAction - Variable in class Cluedo
-
- StepWorker() - Constructor for class Cluedo.StepWorker
-
- StrategiesListener(JButton) - Constructor for class Table.Initializer.StrategiesPanel.StrategiesListener
-
- strategiesPanel - Variable in class Table.Initializer
-
- StrategiesPanel() - Constructor for class Table.Initializer.StrategiesPanel
-
- strategy - Variable in class AccusationStrategy
-
- strategy(Player) - Method in class AccusationStrategy
-
the accusation strategy to be played
- strategy - Variable in class PlayableAccusationStrategy.AccusationGUI
-
- strategy(Player) - Method in class PlayableAccusationStrategy
-
The user is asked whether he/she wants to play this strategy manually.
- strategy(Player, CardSet, CardSet, int) - Method in class PlayableResponseStrategy
-
If there are multiple responses possible, the user is asked whether he/she wants to play this strategy manually.
- strategy(Player) - Method in class PlayableSuspicionStrategy
-
The user is asked whether he/she wants to play this strategy manually.
- strategy - Variable in class PlayableSuspicionStrategy.SuspicionGUI
-
- strategy - Variable in class ResponseStrategy
-
- strategy(Player, CardSet, CardSet, int) - Method in class ResponseStrategy
-
The strategy function for responses
- Strategy - Class in <Unnamed>
-
Superclass that implements strategies
- Strategy() - Constructor for class Strategy
-
- strategy - Variable in class SuspicionStrategy
-
- strategy(Player) - Method in class SuspicionStrategy
-
The suspicion strategy to be played
- StrategyPanel(int) - Constructor for class Table.Initializer.StrategiesPanel.StrategyPanel
-
- strategyPanels - Variable in class Table.Initializer.StrategiesPanel
-
- strategyReady - Variable in class PlayableAccusationStrategy.AccusationGUI
-
- StrategySet - Class in <Unnamed>
-
- StrategySet() - Constructor for class StrategySet
-
- StrategySet(SuspicionStrategy, ResponseStrategy, AccusationStrategy) - Constructor for class StrategySet
-
- strategySets - Variable in class Table.Initializer
-
- strategySets - Variable in class Table
-
- sum(int[]) - Method in class Table.Initializer.DealPanel
-
- suspect() - Method in class Player
-
the suspect function, determines if a suspicion is pronounced
- suspicion - Variable in class Player
-
- suspicion - Variable in class StrategySet
-
- suspicionBox - Variable in class Table.Initializer.StrategiesPanel.StrategyPanel
-
- suspicionCheckBox - Variable in class Table.Initializer.StrategiesPanel.StrategyPanel
-
- SuspicionGUI(Player) - Constructor for class PlayableSuspicionStrategy.SuspicionGUI
-
- SuspicionListener(JButton) - Constructor for class PlayableSuspicionStrategy.SuspicionGUI.SuspicionPanel.SuspicionListener
-
- SuspicionPanel(Player) - Constructor for class PlayableSuspicionStrategy.SuspicionGUI.SuspicionPanel
-
- SuspicionStrategy - Class in <Unnamed>
-
Class for Suspicion Strategies
- SuspicionStrategy() - Constructor for class SuspicionStrategy
-
The default constructor.
- SuspicionStrategy(String) - Constructor for class SuspicionStrategy
-
The constructor.