Serialized Form

Package MAKBPInterpreter.agents.exceptions

Class MAKBPInterpreter.agents.exceptions.KripkeStructureInvalidRuntimeException extends java.lang.RuntimeException implements Serializable

Class MAKBPInterpreter.agents.exceptions.NoKripkeWorldPossibleException extends java.lang.RuntimeException implements Serializable

Package MAKBPInterpreter.logic.exceptions

Class MAKBPInterpreter.logic.exceptions.FormulaNotSupported extends java.lang.Exception implements Serializable