A B C D E F G H I J K L M N O P Q R S T V W

I

ImplicitKnow - Class in <Unnamed>

Implements the I_g operator from S5

ImplicitKnow(Set<Integer>, Formula) - Constructor for class ImplicitKnow

Create a new I_agents formula

implies(Formula, Formula) - Static method in class Formula

Return an implication.

index - Variable in class Table.Initializer.StrategiesPanel.StrategyPanel

infoPanel - Variable in class Cluedo

init(int[][]) - Static method in class FormulaTester

init() - Static method in class FormulaTester

initButtonPanel() - Method in class Table.Initializer

Initializer() - Constructor for class Table.Initializer

initPlayers(KripkeModel, StrategySet...) - Method in class Cluedo.NewGameWorker

initPlayers(Dealing, int, KripkeModel) - Static method in class GameLoop

Given a dealing and number of players, adds `players` number of players into the game and deals them their cards

initTabbedPanel() - Method in class Table.Initializer

input - Variable in class Table.Initializer.AgentPanel

input - Variable in class Table.Initializer.CategoryPanel

IntsInputListener(JButton) - Constructor for class Table.Initializer.CardPanel.IntsInputListener

IntsInputListener(JButton) - Constructor for class Table.Initializer.DealPanel.IntsInputListener

IntsInputListener(JButton) - Constructor for class Table.Initializer.EnvelopePanel.IntsInputListener

isDone() - Method in class GameLoop

Check if the current game is finished

isTrue(PropVar) - Method in class Dealing

A B C D E F G H I J K L M N O P Q R S T V W