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

A

Action - Interface in MAKBPInterpreter.agents

Represents an action for an agent.

addReflexiveArcs(Map<KripkeWorld, Map<Agent, Set<KripkeWorld>>>, Collection<Agent>) - Method in class MAKBPInterpreter.agents.KripkeStructure

Adds reflexive arcs into the graph object.

addSymetricArcs(Map<KripkeWorld, Map<Agent, Set<KripkeWorld>>>, Collection<Agent>) - Method in class MAKBPInterpreter.agents.KripkeStructure

Adds symetric arcs into the graph object.

agent - Variable in class MAKBPInterpreter.agents.AgentKnowledge

Associated agent.

Agent - Class in MAKBPInterpreter.agents

Represents an agent evolving into an environment.

Agent(String, AgentProgram) - Constructor for class MAKBPInterpreter.agents.Agent

Constructor.

AgentKnowledge - Class in MAKBPInterpreter.agents

Represents an agent knowledge about the world.

AgentKnowledge(Agent, Formula) - Constructor for class MAKBPInterpreter.agents.AgentKnowledge

Constructor.

AgentProgram - Class in MAKBPInterpreter.agents

Class representing an ordered map specifically implemented to handle agent program.

AgentProgram() - Constructor for class MAKBPInterpreter.agents.AgentProgram

Default constructor.

AgentProgram(List<Formula>, List<Action>) - Constructor for class MAKBPInterpreter.agents.AgentProgram

Constructor.

AgentProgram(AgentProgram) - Constructor for class MAKBPInterpreter.agents.AgentProgram

Copy constructor.

agents - Variable in class MAKBPInterpreter.agents.CommonKnowledge

Agent set where each agent knows the associated formula.

agents - Variable in class MAKBPInterpreter.agents.EverybodyKnowledge

Agent set where each agent knows the associated formula.

And - Class in MAKBPInterpreter.logic

Represents the conjunction of a set of operands.

And(Collection<Formula>) - Constructor for class MAKBPInterpreter.logic.And

Constructor with collection of operands.

And(Formula...) - Constructor for class MAKBPInterpreter.logic.And

Constructor with operands array.

Atom - Class in MAKBPInterpreter.logic

Represents an atom, a proposition.

Atom(String) - Constructor for class MAKBPInterpreter.logic.Atom

Default constructor of the atom.

B

Box - Class in MAKBPInterpreter.agents

Represents a knowledge that agent knows it true in a world in a modal logic system.

Box(Agent, Formula) - Constructor for class MAKBPInterpreter.agents.Box

Constructor.

C

clear() - Method in class MAKBPInterpreter.agents.AgentProgram

CommonKnowledge - Class in MAKBPInterpreter.agents

Represents a set of agents knowing a common formula.

CommonKnowledge(Formula, Set<Agent>) - Constructor for class MAKBPInterpreter.agents.CommonKnowledge

Default constructor.

contains(Formula) - Method in class MAKBPInterpreter.agents.AgentKnowledge

contains(Formula) - Method in class MAKBPInterpreter.agents.CommonKnowledge

contains(Formula) - Method in class MAKBPInterpreter.agents.EverybodyKnowledge

contains(Formula) - Method in class MAKBPInterpreter.logic.And

contains(Formula) - Method in class MAKBPInterpreter.logic.Atom

contains(Formula) - Method in class MAKBPInterpreter.logic.Equivalence

contains(Formula) - Method in interface MAKBPInterpreter.logic.Formula

Returns true if this formula contains the specified formula.

contains(Formula) - Method in class MAKBPInterpreter.logic.Implication

contains(Formula) - Method in class MAKBPInterpreter.logic.Not

contains(Formula) - Method in class MAKBPInterpreter.logic.Or

containsKey(Object) - Method in class MAKBPInterpreter.agents.AgentProgram

containsValue(Object) - Method in class MAKBPInterpreter.agents.AgentProgram

D

Diamond - Class in MAKBPInterpreter.agents

Represents a knowledge that an agent considers to be true between world in a modal logic system.

Diamond(Agent, Formula) - Constructor for class MAKBPInterpreter.agents.Diamond

Constructor.

differencesBetweenWorlds(KripkeWorld) - Method in class MAKBPInterpreter.agents.KripkeWorld

Returns the differences between two worlds (all atoms divergence).

E

entrySet() - Method in class MAKBPInterpreter.agents.AgentProgram

equals(Object) - Method in class MAKBPInterpreter.agents.Agent

equals(Object) - Method in class MAKBPInterpreter.agents.AgentKnowledge

equals(Object) - Method in class MAKBPInterpreter.agents.AgentProgram

equals(Object) - Method in class MAKBPInterpreter.agents.CommonKnowledge

equals(Object) - Method in class MAKBPInterpreter.agents.EverybodyKnowledge

equals(Object) - Method in class MAKBPInterpreter.agents.KripkeStructure

equals(Object) - Method in class MAKBPInterpreter.agents.KripkeWorld

equals(Object) - Method in class MAKBPInterpreter.logic.And

Checks if the operands are the same as the other set of operands.

equals(Object) - Method in class MAKBPInterpreter.logic.Atom

equals(Object) - Method in class MAKBPInterpreter.logic.Equivalence

Checks if the formulas are the same.

equals(Object) - Method in interface MAKBPInterpreter.logic.Formula

Verifies if the current object formula and other formula are the same.

equals(Object) - Method in class MAKBPInterpreter.logic.Implication

Checks if the formulas are the same.

equals(Object) - Method in class MAKBPInterpreter.logic.Not

equals(Object) - Method in class MAKBPInterpreter.logic.Or

Checks if the operands are the same as the other set of operands.

Equivalence - Class in MAKBPInterpreter.logic

Represents the equivalence of a formula to an other.

Equivalence(Formula, Formula) - Constructor for class MAKBPInterpreter.logic.Equivalence

Constructor.

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.agents.AgentKnowledge

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.agents.Box

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.agents.CommonKnowledge

Evaluates the everybody knowledge of formula in all accessible worlds by all agents of the group CommonKnowledge.agents.

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.agents.Diamond

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.agents.EverybodyKnowledge

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.logic.And

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.logic.Atom

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.logic.Equivalence

evaluate(LogicAssignment) - Method in interface MAKBPInterpreter.logic.Formula

Evaluates a state that we passed into arguments.

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.logic.Implication

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.logic.Not

evaluate(LogicAssignment) - Method in class MAKBPInterpreter.logic.Or

EverybodyKnowledge - Class in MAKBPInterpreter.agents

Represents a set of agents knowing a common formula.

EverybodyKnowledge(Formula, Set<Agent>) - Constructor for class MAKBPInterpreter.agents.EverybodyKnowledge

Default constructor.

executeAction(Map<Agent, Action>) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Executes retrieving actions.

F

Formula - Interface in MAKBPInterpreter.logic

Represents the base of all components of the modal and epistemic logic representation.

FormulaNotSupported - Exception in MAKBPInterpreter.logic.exceptions

Exception which indicate that the given formula is not supported yet.

FormulaNotSupported(String) - Constructor for exception MAKBPInterpreter.logic.exceptions.FormulaNotSupported

Constructs a new exception with the specified detail message.

G

get(Object) - Method in class MAKBPInterpreter.agents.AgentProgram

get(Atom) - Method in class MAKBPInterpreter.logic.PropositionalLogicAssignment

Gets the associated value of a key.

getAgent() - Method in class MAKBPInterpreter.agents.AgentKnowledge

Gets the agent.

getAgents() - Method in class MAKBPInterpreter.agents.CommonKnowledge

Gets the agent set where each agent knows the associated formula.

getAgents() - Method in class MAKBPInterpreter.agents.EverybodyKnowledge

Gets the agent set where each agent knows the associated formula.

getAssignment() - Method in class MAKBPInterpreter.agents.KripkeWorld

Gets all the true propositions of the world.

getAssociatedAction(Collection<Agent>, KripkeWorld) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Gets the associated action for each agent of the agents argument by retrieving its associated Kripke structure and the pointedWorld.

getAssociatedAction(KripkeStructure, KripkeWorld) - Method in class MAKBPInterpreter.agents.Agent

Gets the associated action of a structure and a pointed world.

getGraph() - Method in class MAKBPInterpreter.agents.KripkeStructure

Gets the graph used by the structure.

getIndex(Formula) - Method in class MAKBPInterpreter.agents.AgentProgram

Gets the index of a key.

getInnerFormula() - Method in class MAKBPInterpreter.agents.AgentKnowledge

Gets the inner formula object.

getInnerFormula() - Method in class MAKBPInterpreter.agents.CommonKnowledge

Gets the inner formula object.

getInnerFormula() - Method in class MAKBPInterpreter.agents.EverybodyKnowledge

Gets the inner formula object.

getKey(int) - Method in class MAKBPInterpreter.agents.AgentProgram

Gets the key (formula) at a specified index.

getKeysBeforeAt(int) - Method in class MAKBPInterpreter.agents.AgentProgram

Gets all formulas before a specified index.

getLeftOperand() - Method in class MAKBPInterpreter.logic.Equivalence

Gets the left operand of the formula.

getLeftOperand() - Method in class MAKBPInterpreter.logic.Implication

Gets the left operand of the formula.

getName() - Method in class MAKBPInterpreter.agents.Agent

Gets the name of the agent.

getName() - Method in class MAKBPInterpreter.agents.KripkeWorld

Gets the name of the world.

getNegation() - Method in class MAKBPInterpreter.agents.AgentKnowledge

getNegation() - Method in class MAKBPInterpreter.agents.CommonKnowledge

getNegation() - Method in class MAKBPInterpreter.agents.EverybodyKnowledge

getNegation() - Method in class MAKBPInterpreter.logic.And

getNegation() - Method in class MAKBPInterpreter.logic.Atom

getNegation() - Method in class MAKBPInterpreter.logic.Equivalence

getNegation() - Method in interface MAKBPInterpreter.logic.Formula

Returns the negation of the current formula.

getNegation() - Method in class MAKBPInterpreter.logic.Implication

getNegation() - Method in class MAKBPInterpreter.logic.Not

getNegation() - Method in class MAKBPInterpreter.logic.Or

getObjects() - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Gets the objects associated to actions.

getOperand() - Method in class MAKBPInterpreter.logic.Not

Gets the operand object.

getOperands() - Method in class MAKBPInterpreter.logic.And

Gets a copy of the operands set object.

getOperands() - Method in class MAKBPInterpreter.logic.Or

Gets a copy of the operands set object.

getOrDefault(Atom, boolean) - Method in class MAKBPInterpreter.logic.PropositionalLogicAssignment

Gets the associated value of a key if exists in the state, else the default value.

getOrderedKeys() - Method in class MAKBPInterpreter.agents.AgentProgram

Gets the keys in the right order.

getOrderedValues() - Method in class MAKBPInterpreter.agents.AgentProgram

Gets the values in the right order.

getPermissions() - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Gets the permissions.

getProgram() - Method in class MAKBPInterpreter.agents.Agent

Gets the program for the agent.

getRightOperand() - Method in class MAKBPInterpreter.logic.Equivalence

Gets the right operand of the formula.

getRightOperand() - Method in class MAKBPInterpreter.logic.Implication

Gets the right operand of the formula.

getStruct() - Method in class MAKBPInterpreter.agents.Kripke

getStructure() - Method in class MAKBPInterpreter.agents.ModalLogicAssignment

Gets the Kripke structure.

getStructures() - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Gets the Kripke structures of the agents.

getValue(int) - Method in class MAKBPInterpreter.agents.AgentProgram

Gets the value (action) at a specified index.

getWorld() - Method in class MAKBPInterpreter.agents.Kripke

getWorld() - Method in class MAKBPInterpreter.agents.ModalLogicAssignment

Gets the world.

getWorlds() - Method in class MAKBPInterpreter.agents.KripkeStructure

Gets the collection of remaining worlds in the structure.

getWorldsFromOtherWorldAndAgent(KripkeWorld, Agent) - Method in class MAKBPInterpreter.agents.KripkeStructure

Gets the worlds linked to a world via an agent.

H

hashCode() - Method in class MAKBPInterpreter.agents.Agent

hashCode() - Method in class MAKBPInterpreter.agents.AgentKnowledge

hashCode() - Method in class MAKBPInterpreter.agents.AgentProgram

hashCode() - Method in class MAKBPInterpreter.agents.CommonKnowledge

hashCode() - Method in class MAKBPInterpreter.agents.EverybodyKnowledge

hashCode() - Method in class MAKBPInterpreter.agents.KripkeStructure

hashCode() - Method in class MAKBPInterpreter.agents.KripkeWorld

hashCode() - Method in class MAKBPInterpreter.logic.And

hashCode() - Method in class MAKBPInterpreter.logic.Atom

hashCode() - Method in class MAKBPInterpreter.logic.Equivalence

hashCode() - Method in class MAKBPInterpreter.logic.Implication

hashCode() - Method in class MAKBPInterpreter.logic.Not

hashCode() - Method in class MAKBPInterpreter.logic.Or

I

Implication - Class in MAKBPInterpreter.logic

Represents the implication of a formula to an other.

Implication(Formula, Formula) - Constructor for class MAKBPInterpreter.logic.Implication

Constructor.

initializeGraph(Collection<KripkeWorld>, Collection<Agent>) - Method in class MAKBPInterpreter.agents.KripkeStructure

Initializes an empty graph with all worlds and agents as keys.

innerFormula - Variable in class MAKBPInterpreter.agents.AgentKnowledge

Inner formula.

innerFormula - Variable in class MAKBPInterpreter.agents.CommonKnowledge

Common formula knows by all the agents.

innerFormula - Variable in class MAKBPInterpreter.agents.EverybodyKnowledge

Common formula knows by all the agents.

insert(int, Formula, Action) - Method in class MAKBPInterpreter.agents.AgentProgram

Inserts a key and associated value to a specific index.

isEmpty() - Method in class MAKBPInterpreter.agents.AgentProgram

isFinished() - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Check if the interpreter is terminated.

isFinished(KripkeWorld) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Check if the interpreter is terminated.

K

keySet() - Method in class MAKBPInterpreter.agents.AgentProgram

Kripke - Class in MAKBPInterpreter.agents

Store a pair of KripkeWorld and KripStructure

Kripke(KripkeWorld, KripkeStructure) - Constructor for class MAKBPInterpreter.agents.Kripke

KripkeStructure - Class in MAKBPInterpreter.agents

Represents a system of reasoning for modal logic.

KripkeStructure(Map<KripkeWorld, Map<Agent, Set<KripkeWorld>>>, Collection<Agent>) - Constructor for class MAKBPInterpreter.agents.KripkeStructure

Default constructor.

KripkeStructure(Map<KripkeWorld, Map<Agent, Set<KripkeWorld>>>, Collection<Agent>, boolean, boolean) - Constructor for class MAKBPInterpreter.agents.KripkeStructure

Constructor.

KripkeStructure(KripkeStructure) - Constructor for class MAKBPInterpreter.agents.KripkeStructure

Copy constructor.

KripkeStructureInvalidRuntimeException - Exception in MAKBPInterpreter.agents.exceptions

Exception class called when an invalid thing was arrived in the computation in a KripkeStructure instance is possible.

KripkeStructureInvalidRuntimeException(String) - Constructor for exception MAKBPInterpreter.agents.exceptions.KripkeStructureInvalidRuntimeException

Constructs a new exception with the specified detail message.

KripkeWorld - Class in MAKBPInterpreter.agents

Class representing a world in a KripkeStructure (node of the graph in this structure).

KripkeWorld(String, Map<Atom, Boolean>) - Constructor for class MAKBPInterpreter.agents.KripkeWorld

Default constructor.

KripkeWorld(Map<Atom, Boolean>) - Constructor for class MAKBPInterpreter.agents.KripkeWorld

Constructor without world name.

L

lastSelectedAction - Variable in class MAKBPInterpreter.agents.Agent

Last selected action linked to the last seen observation.

LogicAssignment - Interface in MAKBPInterpreter.logic

Represents a logic assignment for a formula evaluation.

M

main(String[]) - Static method in class MAKBPInterpreter.Main

Default executed method.

Main - Class in MAKBPInterpreter

Main class allowing to choose the problem to be interpreted.

Main() - Constructor for class MAKBPInterpreter.Main

MAKBPInterpreter - package MAKBPInterpreter

This package defines modules to create an interpreter of Multi-Agents Knowledge-Based Programs (MAKBPs).

MAKBPInterpreter - Class in MAKBPInterpreter.interpreter

Represents a Multi-Agent Knowledge-Based Program interpreter.

MAKBPInterpreter(Set<Agent>, KripkeStructure, Map<Agent, Set<Agent>>, Map<Action, List<Object>>) - Constructor for class MAKBPInterpreter.interpreter.MAKBPInterpreter

Constructor.

MAKBPInterpreter.agents - package MAKBPInterpreter.agents

This package defines the basis of the agents, memory, observation, etc.

MAKBPInterpreter.agents.exceptions - package MAKBPInterpreter.agents.exceptions

This package defines the exception for MAKBPInterpreter.agents package and other packages that use the MAKBPInterpreter.agents package.

MAKBPInterpreter.agents.tests - package MAKBPInterpreter.agents.tests

This package defines the tests of the MAKBPInterpreter.agents package.

MAKBPInterpreter.interpreter - package MAKBPInterpreter.interpreter

This package defines the interpreter of a Multi-Agent Knowledge-Based Program.

MAKBPInterpreter.interpreter.tests - package MAKBPInterpreter.interpreter.tests

This package defines the tests of the MAKBPInterpreter.interpreter package.

MAKBPInterpreter.logic - package MAKBPInterpreter.logic

This package defines the basis of the propositionnal logic.

MAKBPInterpreter.logic.exceptions - package MAKBPInterpreter.logic.exceptions

This package defines the exception for MAKBPInterpreter.logic package and other packages that use the MAKBPInterpreter.logic package.

MAKBPInterpreter.logic.tests - package MAKBPInterpreter.logic.tests

This package defines the tests of the MAKBPInterpreter.logic package.

ModalLogicAssignment - Class in MAKBPInterpreter.agents

Represents an assignment for modal and epistemic logic and its extension.

ModalLogicAssignment(Map<Atom, Boolean>, KripkeStructure, KripkeWorld) - Constructor for class MAKBPInterpreter.agents.ModalLogicAssignment

Constructor.

MuddyChildrenProblem - Class in MAKBPInterpreter

Class representing the problem of muddy children.

MuddyChildrenProblem() - Constructor for class MAKBPInterpreter.MuddyChildrenProblem

N

name - Variable in class MAKBPInterpreter.agents.Agent

Agent name.

NoKripkeWorldPossibleException - Exception in MAKBPInterpreter.agents.exceptions

Exception class called when no world in a KripkeStructure instance is possible.

NoKripkeWorldPossibleException() - Constructor for exception MAKBPInterpreter.agents.exceptions.NoKripkeWorldPossibleException

Constructs a new exception without the specified detail message.

NoKripkeWorldPossibleException(String) - Constructor for exception MAKBPInterpreter.agents.exceptions.NoKripkeWorldPossibleException

Constructs a new exception with the specified detail message.

Not - Class in MAKBPInterpreter.logic

Represents the negation of a formula.

Not(Formula) - Constructor for class MAKBPInterpreter.logic.Not

Default constructor.

O

Or - Class in MAKBPInterpreter.logic

Represents the disjunction of a set of operands.

Or(Collection<Formula>) - Constructor for class MAKBPInterpreter.logic.Or

Constructor with a collection of operands.

Or(Formula...) - Constructor for class MAKBPInterpreter.logic.Or

Constructor with operands array.

P

performs(Object...) - Method in interface MAKBPInterpreter.agents.Action

Performs custom action.

performsAssociatedAction(KripkeStructure, KripkeWorld, Object...) - Method in class MAKBPInterpreter.agents.Agent

Performs the selected action corresponding a structure and a pointed world.

prettyPrintKripkeStructure(KripkeStructure, Function<String, String>) - Static method in class MAKBPInterpreter.MuddyChildrenProblem

Pretty prints a Kripke structure.

problem(int, int, int) - Static method in class MAKBPInterpreter.MuddyChildrenProblem

Generalized problem using the multi-agent knowledge-based program (MABKP) interpreter.

problemN2K1() - Static method in class MAKBPInterpreter.MuddyChildrenProblem

Problem with two children and one child among them is dirty (without the MAKBP interpreter).

problemN2K2() - Static method in class MAKBPInterpreter.MuddyChildrenProblem

Problem with two children and both are dirty (without the MAKBP interpreter).

problemN3K2() - Static method in class MAKBPInterpreter.MuddyChildrenProblem

Problem with three children and thow child among them are dirty (without the MAKBP interpreter).

problemN3K3() - Static method in class MAKBPInterpreter.MuddyChildrenProblem

Problem with three children and are all dirty (without the MAKBP interpreter).

program - Variable in class MAKBPInterpreter.agents.Agent

Program used to select the right associated action to an observation.

PropositionalLogicAssignment - Class in MAKBPInterpreter.logic

Represents an assignment for propositional logic and its extensions

PropositionalLogicAssignment(Map<Atom, Boolean>) - Constructor for class MAKBPInterpreter.logic.PropositionalLogicAssignment

Constructor.

publicAnnouncement(Collection<Agent>, Formula) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Announcement of a formula to a collection of agents.

publicAnnouncement(List<Agent>, List<Formula>) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Announcement of associated formulas to agents.

publicAnnouncement(Map<Agent, Formula>) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Announcement of associated formulas to agents.

publicAnnouncement(Agent, Formula) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Announcement of a formula to an agent.

publicAnnouncement(Formula) - Method in class MAKBPInterpreter.agents.KripkeStructure

Called when a public announcement is formulated.

put(Formula, Action) - Method in class MAKBPInterpreter.agents.AgentProgram

putAll(List<Formula>, List<Action>) - Method in class MAKBPInterpreter.agents.AgentProgram

Puts all the given keys and associated values to the map object.

putAll(Map<? extends Formula, ? extends Action>) - Method in class MAKBPInterpreter.agents.AgentProgram

R

reasoning(Collection<Agent>, Map<Agent, Formula>) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Returns a map of agents and formulas in function of observations and agents programs knowledge for agents.

reasoning(Collection<Agent>, Map<Agent, Formula>, Map<Agent, Set<Agent>>) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Returns a map of agents and formulas in function of observations and observations knowledge for agents via permissions.

reasoning(Agent, Map<Agent, Formula>) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Returns a formula in function of observations and agents programs knowledge for an agent.

reasoning(Agent, Map<Agent, Formula>, Map<Agent, Set<Agent>>) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Returns a formula in function of observations and observations knowledge for agents via permissions.

remove(Object) - Method in class MAKBPInterpreter.agents.AgentProgram

reverseEngineering() - Method in class MAKBPInterpreter.agents.Agent

Returns the associated formula to the last selected action.

reverseEngineering(Map<Agent, Action>) - Method in class MAKBPInterpreter.interpreter.MAKBPInterpreter

Gets modal logic formulas for each retrieved action.

reverseEngineering(Action) - Method in class MAKBPInterpreter.agents.Agent

Returns the associated formula to the passed action.

S

satisfied(Formula, KripkeStructure) - Method in class MAKBPInterpreter.agents.KripkeWorld

Checks if a given formula is satisfying the actual state of the world.

setStruct(KripkeStructure) - Method in class MAKBPInterpreter.agents.Kripke

setWorld(KripkeWorld) - Method in class MAKBPInterpreter.agents.Kripke

simplify() - Method in class MAKBPInterpreter.agents.AgentKnowledge

simplify() - Method in class MAKBPInterpreter.agents.Box

simplify() - Method in class MAKBPInterpreter.agents.CommonKnowledge

simplify() - Method in class MAKBPInterpreter.agents.Diamond

simplify() - Method in class MAKBPInterpreter.agents.EverybodyKnowledge

simplify() - Method in class MAKBPInterpreter.logic.And

simplify() - Method in class MAKBPInterpreter.logic.Atom

simplify() - Method in class MAKBPInterpreter.logic.Equivalence

simplify() - Method in interface MAKBPInterpreter.logic.Formula

Simplifies the logic formula.

simplify() - Method in class MAKBPInterpreter.logic.Implication

simplify() - Method in class MAKBPInterpreter.logic.Not

simplify() - Method in class MAKBPInterpreter.logic.Or

size() - Method in class MAKBPInterpreter.agents.AgentProgram

state - Variable in class MAKBPInterpreter.logic.PropositionalLogicAssignment

State to evaluate.

structure - Variable in class MAKBPInterpreter.agents.ModalLogicAssignment

Kripke structure to evaluate the state.

T

TestAction - Class in MAKBPInterpreter.agents.tests

Test class for the Action class.

TestAction() - Constructor for class MAKBPInterpreter.agents.tests.TestAction

testAddReflexiveArcs() - Method in class MAKBPInterpreter.agents.tests.TestKripkeStructure

Tests the KripkeStructure.addReflexiveArcs(java.util.Map, java.util.Collection) method.

testAddSymetricArcs() - Method in class MAKBPInterpreter.agents.tests.TestKripkeStructure

Tests the KripkeStructure.addSymetricArcs(java.util.Map, java.util.Collection) method.

TestAgent - Class in MAKBPInterpreter.agents.tests

Test class for the Agent class.

TestAgent() - Constructor for class MAKBPInterpreter.agents.tests.TestAgent

TestAgentKnowledge - Class in MAKBPInterpreter.agents.tests

Test class for the AgentKnowledge class.

TestAgentKnowledge() - Constructor for class MAKBPInterpreter.agents.tests.TestAgentKnowledge

TestAgentProgram - Class in MAKBPInterpreter.agents.tests

Test class for the AgentProgram class.

TestAgentProgram() - Constructor for class MAKBPInterpreter.agents.tests.TestAgentProgram

TestAnd - Class in MAKBPInterpreter.logic.tests

Test class for the And class.

TestAnd() - Constructor for class MAKBPInterpreter.logic.tests.TestAnd

TestAtom - Class in MAKBPInterpreter.logic.tests

Test class for the Atom class.

TestAtom() - Constructor for class MAKBPInterpreter.logic.tests.TestAtom

TestBox - Class in MAKBPInterpreter.agents.tests

Test class for the Box class.

TestBox() - Constructor for class MAKBPInterpreter.agents.tests.TestBox

testClear() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.clear() method.

TestCommonKnowledge - Class in MAKBPInterpreter.agents.tests

Test class for the CommonKnowledge class.

TestCommonKnowledge() - Constructor for class MAKBPInterpreter.agents.tests.TestCommonKnowledge

testConstructor() - Method in class MAKBPInterpreter.agents.tests.TestAction

Tests the Action constructor.

testConstructor() - Method in class MAKBPInterpreter.agents.tests.TestAgent

Tests the Agent(String, MAKBPInterpreter.agents.AgentProgram) constructor.

testConstructor() - Method in class MAKBPInterpreter.agents.tests.TestAgentKnowledge

Tests the AgentKnowledge(Agent, MAKBPInterpreter.logic.Formula) constructor.

testConstructor() - Method in class MAKBPInterpreter.agents.tests.TestBox

Tests the Box(Agent, MAKBPInterpreter.logic.Formula) constructor.

testConstructor() - Method in class MAKBPInterpreter.agents.tests.TestCommonKnowledge

Tests the CommonKnowledge(Formula, java.util.Set) constructor.

testConstructor() - Method in class MAKBPInterpreter.agents.tests.TestDiamond

Tests the Diamond(Agent, MAKBPInterpreter.logic.Formula) constructor.

testConstructor() - Method in class MAKBPInterpreter.agents.tests.TestEverybodyKnowledge

Tests the EverybodyKnowledge(Formula, java.util.Set) constructor.

testConstructor() - Method in class MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

Tests the MAKBPInterpreter(java.util.Set, MAKBPInterpreter.agents.KripkeStructure, java.util.Map, java.util.Map) constructor.

testConstructor() - Method in class MAKBPInterpreter.logic.tests.TestAtom

Tests the Atom(String) constructor.

testConstructor() - Method in class MAKBPInterpreter.logic.tests.TestEquivalence

Tests the Equivalence(Formula, Formula) constructor.

testConstructor() - Method in class MAKBPInterpreter.logic.tests.TestImplication

Tests the Implication(Formula, Formula) constructor.

testConstructor() - Method in class MAKBPInterpreter.logic.tests.TestNot

Tests the Not(Formula) constructor.

testConstructors() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram(List, List), AgentProgram(MAKBPInterpreter.agents.AgentProgram) and AgentProgram() constructors.

testConstructors() - Method in class MAKBPInterpreter.agents.tests.TestKripkeStructure

Tests the KripkeStructure(java.util.Map, java.util.Collection) and KripkeStructure(java.util.Map, java.util.Collection, boolean, boolean) constructors.

testConstructors() - Method in class MAKBPInterpreter.agents.tests.TestKripkeWorld

Tests the KripkeWorld(String, Map) and KripkeWorld(Map) methods contructors.

testConstructors() - Method in class MAKBPInterpreter.logic.tests.TestAnd

Tests the And(Formula...) and And(java.util.Collection) constructors.

testConstructors() - Method in class MAKBPInterpreter.logic.tests.TestOr

Tests the Or(Formula...) and Or(java.util.Collection) constructors.

testContains() - Method in class MAKBPInterpreter.agents.tests.TestAgentKnowledge

Tests the AgentKnowledge.contains(Formula) method.

testContains() - Method in class MAKBPInterpreter.agents.tests.TestCommonKnowledge

Tests the CommonKnowledge.contains(Formula) method.

testContains() - Method in class MAKBPInterpreter.agents.tests.TestEverybodyKnowledge

Tests the EverybodyKnowledge.contains(Formula) method.

testContains() - Method in class MAKBPInterpreter.logic.tests.TestAnd

Tests the And.contains(Formula) method.

testContains() - Method in class MAKBPInterpreter.logic.tests.TestAtom

Tests the Atom.contains(Formula) method.

testContains() - Method in class MAKBPInterpreter.logic.tests.TestEquivalence

Tests the Equivalence.contains(Formula) method.

testContains() - Method in class MAKBPInterpreter.logic.tests.TestImplication

Tests the Implication.contains(Formula) method.

testContains() - Method in class MAKBPInterpreter.logic.tests.TestNot

Tests the Not.contains(Formula) method.

testContains() - Method in class MAKBPInterpreter.logic.tests.TestOr

Tests the Or.contains(Formula) method.

testContainsKey() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.containsKey(Object) method.

testContainsValue() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.containsValue(Object) method.

testCopyConstructor() - Method in class MAKBPInterpreter.agents.tests.TestKripkeStructure

Tests the KripkeStructure(KripkeStructure) constructor.

TestDiamond - Class in MAKBPInterpreter.agents.tests

Test class for the Diamond class.

TestDiamond() - Constructor for class MAKBPInterpreter.agents.tests.TestDiamond

testDifferencesBetweenWorlds() - Method in class MAKBPInterpreter.agents.tests.TestKripkeWorld

Tests the KripkeWorld.differencesBetweenWorlds(KripkeWorld) method.

testEntrySet() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.entrySet() method.

testEquals() - Method in class MAKBPInterpreter.agents.tests.TestAgent

Tests the Agent.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.agents.tests.TestAgentKnowledge

Tests the AgentKnowledge.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.agents.tests.TestCommonKnowledge

Tests the CommonKnowledge.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.agents.tests.TestEverybodyKnowledge

Tests the EverybodyKnowledge.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.agents.tests.TestKripkeStructure

Tests the KripkeStructure.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.agents.tests.TestKripkeWorld

Tests the KripkeWorld.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.logic.tests.TestAnd

Tests the And.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.logic.tests.TestAtom

Tests the Atom.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.logic.tests.TestEquivalence

Tests the Equivalence.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.logic.tests.TestImplication

Tests the Implication.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.logic.tests.TestNot

Tests the Not.equals(Object) method.

testEquals() - Method in class MAKBPInterpreter.logic.tests.TestOr

Tests the Or.equals(Object) method.

TestEquivalence - Class in MAKBPInterpreter.logic.tests

Test class for the Equivalence class.

TestEquivalence() - Constructor for class MAKBPInterpreter.logic.tests.TestEquivalence

testEvaluate() - Method in class MAKBPInterpreter.agents.tests.TestAgentKnowledge

Tests the AgentKnowledge.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.agents.tests.TestBox

Tests the Box.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.agents.tests.TestCommonKnowledge

Tests the CommonKnowledge.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.agents.tests.TestDiamond

Tests the Diamond.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.agents.tests.TestEverybodyKnowledge

Tests the EverybodyKnowledge.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.logic.tests.TestAnd

Tests the And.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.logic.tests.TestAtom

Tests the Atom.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.logic.tests.TestEquivalence

Tests the Equivalence.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.logic.tests.TestImplication

Tests the Implication.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.logic.tests.TestNot

Tests the Not.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluate() - Method in class MAKBPInterpreter.logic.tests.TestOr

Tests the Or.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

testEvaluateLikeEverybodyKnowledge() - Method in class MAKBPInterpreter.agents.tests.TestCommonKnowledge

Tests the CommonKnowledge.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

TestEverybodyKnowledge - Class in MAKBPInterpreter.agents.tests

Test class for the EverybodyKnowledge class.

TestEverybodyKnowledge() - Constructor for class MAKBPInterpreter.agents.tests.TestEverybodyKnowledge

testExecuteAction() - Method in class MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

Tests the MAKBPInterpreter.executeAction(java.util.Map) method.

testGet() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.get(Object) method.

testGetAssociatedAction() - Method in class MAKBPInterpreter.agents.tests.TestAgent

Tests the Agent.getAssociatedAction(MAKBPInterpreter.agents.KripkeStructure, MAKBPInterpreter.agents.KripkeWorld) method.

testGetAssociatedAction() - Method in class MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

Tests the MAKBPInterpreter.getAssociatedAction(java.util.Collection, MAKBPInterpreter.agents.KripkeWorld) method.

testGetConditions() - Method in class MAKBPInterpreter.agents.tests.TestAgent

Tests the Agent.getProgram() method.

testGetIndex() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.getIndex(Formula) method.

testGetKey() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.getKey(int) method.

testGetKeysBeforeAt() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.getKeysBeforeAt(int) method.

testGetLeftOperand() - Method in class MAKBPInterpreter.logic.tests.TestEquivalence

Tests the Equivalence.getLeftOperand() method.

testGetLeftOperand() - Method in class MAKBPInterpreter.logic.tests.TestImplication

Tests the Implication.getLeftOperand() method.

testGetName() - Method in class MAKBPInterpreter.agents.tests.TestAgent

Tests the Agent.getName() method.

testGetNegation() - Method in class MAKBPInterpreter.agents.tests.TestAgentKnowledge

Tests the AgentKnowledge.getNegation() method.

testGetNegation() - Method in class MAKBPInterpreter.agents.tests.TestCommonKnowledge

Tests the CommonKnowledge.getNegation() method.

testGetNegation() - Method in class MAKBPInterpreter.agents.tests.TestEverybodyKnowledge

Tests the EverybodyKnowledge.getNegation() method.

testGetNegation() - Method in class MAKBPInterpreter.logic.tests.TestAnd

Tests the And.getNegation() method.

testGetNegation() - Method in class MAKBPInterpreter.logic.tests.TestAtom

Tests the Atom.getNegation() method.

testGetNegation() - Method in class MAKBPInterpreter.logic.tests.TestEquivalence

Tests the Equivalence.getNegation() method.

testGetNegation() - Method in class MAKBPInterpreter.logic.tests.TestImplication

Tests the Implication.getNegation() method.

testGetNegation() - Method in class MAKBPInterpreter.logic.tests.TestNot

Tests the Not.getNegation() method.

testGetNegation() - Method in class MAKBPInterpreter.logic.tests.TestOr

Tests the Or.getNegation() method.

testGetOperand() - Method in class MAKBPInterpreter.logic.tests.TestNot

Tests the Not.getOperand() method.

testGetOperands() - Method in class MAKBPInterpreter.logic.tests.TestAnd

Tests the And.getOperands() method.

testGetOperands() - Method in class MAKBPInterpreter.logic.tests.TestOr

Tests the Or.getOperands() method.

testGetOrderedKeys() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.getOrderedKeys() method.

testGetOrderedValues() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.getOrderedValues() method.

testGetRightOperand() - Method in class MAKBPInterpreter.logic.tests.TestEquivalence

Tests the Equivalence.getRightOperand() method.

testGetRightOperand() - Method in class MAKBPInterpreter.logic.tests.TestImplication

Tests the Implication.getRightOperand() method.

testGetters() - Method in class MAKBPInterpreter.agents.tests.TestAgentKnowledge

Tests the AgentKnowledge.getAgent() and AgentKnowledge.getInnerFormula() methods.

testGetters() - Method in class MAKBPInterpreter.agents.tests.TestCommonKnowledge

Tests the CommonKnowledge.getAgents() and CommonKnowledge.getInnerFormula() methods.

testGetters() - Method in class MAKBPInterpreter.agents.tests.TestEverybodyKnowledge

Tests the EverybodyKnowledge.getAgents() and EverybodyKnowledge.getInnerFormula() methods.

testGetters() - Method in class MAKBPInterpreter.agents.tests.TestKripkeStructure

Tests the KripkeStructure.getGraph() method.

testGetters() - Method in class MAKBPInterpreter.agents.tests.TestKripkeWorld

Tests the KripkeWorld.getName() and KripkeWorld.getAssignment() methods.

testGetters() - Method in class MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

Tests the MAKBPInterpreter.getStructures() and MAKBPInterpreter.getPermissions(), MAKBPInterpreter.getObjects() methods.

testGetValue() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.getValue(int) method.

testgetWorldsFromOtherWorldAndAgent() - Method in class MAKBPInterpreter.agents.tests.TestKripkeStructure

Tests the KripkeStructure.getWorldsFromOtherWorldAndAgent(MAKBPInterpreter.agents.KripkeWorld, MAKBPInterpreter.agents.Agent) method.

TestImplication - Class in MAKBPInterpreter.logic.tests

Test class for the Implication class.

TestImplication() - Constructor for class MAKBPInterpreter.logic.tests.TestImplication

testInsert() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.insert(int, Formula, Action) method.

testIsEmpty() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.isEmpty() method.

testIsFinished() - Method in class MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

Tests the MAKBPInterpreter.isFinished(MAKBPInterpreter.agents.KripkeWorld) and MAKBPInterpreter.isFinished() methods.

testKeySet() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.keySet() method.

TestKripkeStructure - Class in MAKBPInterpreter.agents.tests

Test class for the KripkeStructure class.

TestKripkeStructure() - Constructor for class MAKBPInterpreter.agents.tests.TestKripkeStructure

TestKripkeWorld - Class in MAKBPInterpreter.agents.tests

Test class for the KripkeWorld class.

TestKripkeWorld() - Constructor for class MAKBPInterpreter.agents.tests.TestKripkeWorld

TestMAKBPInterpreter - Class in MAKBPInterpreter.interpreter.tests

Test class for the MAKBPInterpreter class.

TestMAKBPInterpreter() - Constructor for class MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

TestNot - Class in MAKBPInterpreter.logic.tests

Test class for the Not class.

TestNot() - Constructor for class MAKBPInterpreter.logic.tests.TestNot

TestOr - Class in MAKBPInterpreter.logic.tests

Test class for the Or class.

TestOr() - Constructor for class MAKBPInterpreter.logic.tests.TestOr

testOverridedPutAll() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.putAll(Map) method.

testPerforms() - Method in class MAKBPInterpreter.agents.tests.TestAction

Tests the Action.performs(Object...) method.

testPerformsAssociatedAction() - Method in class MAKBPInterpreter.agents.tests.TestAgent

Tests the Agent.performsAssociatedAction(MAKBPInterpreter.agents.KripkeStructure, MAKBPInterpreter.agents.KripkeWorld, Object...) method.

testPerformsAssociatedActionNullAction() - Method in class MAKBPInterpreter.agents.tests.TestAgent

Tests the Agent.performsAssociatedAction(MAKBPInterpreter.agents.KripkeStructure, MAKBPInterpreter.agents.KripkeWorld, Object...) method with a null action object.

testPerformsWithException() - Method in class MAKBPInterpreter.agents.tests.TestAction

Tests the Action.performs(Object...) method when an exception is thrown.

testPublicAnnouncement() - Method in class MAKBPInterpreter.agents.tests.TestKripkeStructure

Tests the KripkeStructure.publicAnnouncement(MAKBPInterpreter.logic.Formula) method.

testPublicAnnouncement() - Method in class MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

Tests the MAKBPInterpreter.publicAnnouncement(MAKBPInterpreter.agents.Agent, MAKBPInterpreter.logic.Formula), MAKBPInterpreter.publicAnnouncement(java.util.Collection, MAKBPInterpreter.logic.Formula) and MAKBPInterpreter.publicAnnouncement(java.util.List, java.util.List) methods.

testPut() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.put(Formula, Action) method.

testPutAll() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.putAll(List, List) method.

testReasoning() - Method in class MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

Tests the MAKBPInterpreter.reasoning(MAKBPInterpreter.agents.Agent, java.util.Map) method.

testRemove() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.remove(Object) method.

testReverseEngineering() - Method in class MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

Tests the MAKBPInterpreter.reverseEngineering(java.util.Map) method.

testReverseEngineeringMethods() - Method in class MAKBPInterpreter.agents.tests.TestAgent

Tests the Agent.reverseEngineering(Action) and Agent.reverseEngineering() methods.

testSatisfied() - Method in class MAKBPInterpreter.agents.tests.TestKripkeWorld

Tests the KripkeWorld.satisfied(Formula, KripkeStructure) method.

testSimplify() - Method in class MAKBPInterpreter.agents.tests.TestAgentKnowledge

Tests the AgentKnowledge.simplify() method.

testSimplify() - Method in class MAKBPInterpreter.agents.tests.TestCommonKnowledge

Tests the CommonKnowledge.simplify() method.

testSimplify() - Method in class MAKBPInterpreter.agents.tests.TestEverybodyKnowledge

Tests the EverybodyKnowledge.simplify() method.

testSimplify() - Method in class MAKBPInterpreter.logic.tests.TestAnd

Tests the And.simplify() method.

testSimplify() - Method in class MAKBPInterpreter.logic.tests.TestAtom

Tests the Atom.simplify() method.

testSimplify() - Method in class MAKBPInterpreter.logic.tests.TestEquivalence

Tests the Equivalence.simplify() method.

testSimplify() - Method in class MAKBPInterpreter.logic.tests.TestImplication

Tests the Implication.simplify() method.

testSimplify() - Method in class MAKBPInterpreter.logic.tests.TestNot

Tests the Not.simplify() method.

testSimplify() - Method in class MAKBPInterpreter.logic.tests.TestOr

Tests the Or.simplify() method.

testSimplify2() - Method in class MAKBPInterpreter.logic.tests.TestAnd

Tests the And.simplify() method.

testSimplify2() - Method in class MAKBPInterpreter.logic.tests.TestOr

Tests the Or.simplify() method.

testSize() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.size() method.

testValues() - Method in class MAKBPInterpreter.agents.tests.TestAgentProgram

Tests the AgentProgram.values() method.

toString() - Method in class MAKBPInterpreter.agents.Agent

toString() - Method in class MAKBPInterpreter.agents.AgentKnowledge

toString() - Method in class MAKBPInterpreter.agents.KripkeStructure

toString() - Method in class MAKBPInterpreter.agents.KripkeWorld

toString() - Method in class MAKBPInterpreter.logic.And

toString() - Method in class MAKBPInterpreter.logic.Atom

toString() - Method in class MAKBPInterpreter.logic.Equivalence

toString() - Method in class MAKBPInterpreter.logic.Implication

toString() - Method in class MAKBPInterpreter.logic.Not

toString() - Method in class MAKBPInterpreter.logic.Or

V

values() - Method in class MAKBPInterpreter.agents.AgentProgram

W

world - Variable in class MAKBPInterpreter.agents.ModalLogicAssignment

World of the Kripke Structure to evaluate the state.

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