- main(String[]) - Static method in class CardTest
-
- main(String[]) - Static method in class Cluedo
-
- main(String[]) - Static method in class FormulaTester
-
- main(String[]) - Static method in class GameLoop
-
Play one random game of Cluedo with `System.out` as output
- main(String[]) - Static method in class Tester
-
- manualInput(int) - Method in class PlayableAccusationStrategy
-
- manualInput(int) - Method in class PlayableResponseStrategy
-
- manualInput(int) - Method in class PlayableSuspicionStrategy
-
- manualStrategy(Player) - Method in class PlayableAccusationStrategy
-
- manualStrategy(Player, ArrayList<Card>, int, CardSet, CardSet) - Method in class PlayableResponseStrategy
-
- manualStrategy(Player) - Method in class PlayableSuspicionStrategy
-
- map - Variable in class StateDealingMap
-
- mapDealings(int, Dealing, int, Dealing, int, int) - Method in class StateDealingMap
-
- max(int[]) - Method in class Table.Initializer.DealPanel
-
- Maybe - Class in <Unnamed>
-
Implements the M_i operator for S5
- Maybe(int, Formula) - Constructor for class Maybe
-
Creates a new M-formula
- MemoizationFormula - Class in <Unnamed>
-
Formula that remembers its evaluation in a state
- MemoizationFormula(Formula) - Constructor for class MemoizationFormula
-
Create a new MemoizationFormula for `form`.
- memoize() - Method in class And
-
- memoize() - Method in class Formula
-
Make a formula remember its evaluation in a specific state.
- memoize() - Method in class MemoizationFormula
-
A memoized version of this formula.
- memoize() - Method in class Or
-
- menu - Variable in class Cluedo
-
- model - Variable in class AbstractPlayer
-
- model - Variable in class GameLoop
-
- MultiCommon - Class in <Unnamed>
-
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
- MultiCommon(Set<Integer>, boolean, Formula...) - Constructor for class MultiCommon
-
- MultiEvery - Class in <Unnamed>
-
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
- MultiEvery(Set<Integer>, boolean, Formula...) - Constructor for class MultiEvery
-
- MultiImplicit - Class in <Unnamed>
-
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
- MultiImplicit(Set<Integer>, boolean, Formula...) - Constructor for class MultiImplicit
-