All Classes

Class	Description
Action	Represents an action for an agent.
Agent	Represents an agent evolving into an environment.
AgentKnowledge	Represents an agent knowledge about the world.
AgentProgram	Class representing an ordered map specifically implemented to handle agent program.
And	Represents the conjunction of a set of operands.
Atom	Represents an atom, a proposition.
Box	Represents a knowledge that agent knows it true in a world in a modal logic system.
CommonKnowledge	Represents a set of agents knowing a common formula.
Diamond	Represents a knowledge that an agent considers to be true between world in a modal logic system.
Equivalence	Represents the equivalence of a formula to an other.
EverybodyKnowledge	Represents a set of agents knowing a common formula.
Formula	Represents the base of all components of the modal and epistemic logic representation.
FormulaNotSupported	Exception which indicate that the given formula is not supported yet.
Implication	Represents the implication of a formula to an other.
Kripke	Store a pair of KripkeWorld and KripStructure
KripkeStructure	Represents a system of reasoning for modal logic.
KripkeStructureInvalidRuntimeException	Exception class called when an invalid thing was arrived in the computation in a KripkeStructure instance is possible.
KripkeWorld	Class representing a world in a KripkeStructure (node of the graph in this structure).
LogicAssignment	Represents a logic assignment for a formula evaluation.
Main	Main class allowing to choose the problem to be interpreted.
MAKBPInterpreter	Represents a Multi-Agent Knowledge-Based Program interpreter.
ModalLogicAssignment	Represents an assignment for modal and epistemic logic and its extension.
MuddyChildrenProblem	Class representing the problem of muddy children.
NoKripkeWorldPossibleException	Exception class called when no world in a KripkeStructure instance is possible.
Not	Represents the negation of a formula.
Or	Represents the disjunction of a set of operands.
PropositionalLogicAssignment	Represents an assignment for propositional logic and its extensions
TestAction	Test class for the Action class.
TestAgent	Test class for the Agent class.
TestAgentKnowledge	Test class for the AgentKnowledge class.
TestAgentProgram	Test class for the AgentProgram class.
TestAnd	Test class for the And class.
TestAtom	Test class for the Atom class.
TestBox	Test class for the Box class.
TestCommonKnowledge	Test class for the CommonKnowledge class.
TestDiamond	Test class for the Diamond class.
TestEquivalence	Test class for the Equivalence class.
TestEverybodyKnowledge	Test class for the EverybodyKnowledge class.
TestImplication	Test class for the Implication class.
TestKripkeStructure	Test class for the KripkeStructure class.
TestKripkeWorld	Test class for the KripkeWorld class.
TestMAKBPInterpreter	Test class for the MAKBPInterpreter class.
TestNot	Test class for the Not class.
TestOr	Test class for the Or class.