ModalLogicAssignment

java.lang.Object
- MAKBPInterpreter.logic.PropositionalLogicAssignment
- - MAKBPInterpreter.agents.ModalLogicAssignment

All Implemented Interfaces:

LogicAssignment
```
public class ModalLogicAssignment
extends PropositionalLogicAssignment
```
Represents an assignment for modal and epistemic logic and its extension. We can note that this logic is an extension of the propositional logic.

Field Summary

Fields
Modifier and Type	Field	Description
`protected KripkeStructure`	`structure`	Kripke structure to evaluate the state.
`protected KripkeWorld`	`world`	World of the Kripke Structure to evaluate the state.

Fields inherited from class MAKBPInterpreter.logic.PropositionalLogicAssignment
state

Constructor Summary

Constructors
Constructor	Description
`ModalLogicAssignment(java.util.Map<Atom,java.lang.Boolean> state, KripkeStructure structure, KripkeWorld world)`	Constructor.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method Description

KripkeStructure getStructure()
Gets the Kripke structure.

KripkeWorld getWorld()
Gets the world.
- Methods inherited from class MAKBPInterpreter.logic.PropositionalLogicAssignment
  get, getOrDefault
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - structure
```
protected KripkeStructure structure
```
    Kripke structure to evaluate the state.
  - world
```
protected KripkeWorld world
```
    World of the Kripke Structure to evaluate the state.
- Constructor Detail
  - ModalLogicAssignment
```
public ModalLogicAssignment(java.util.Map<Atom,java.lang.Boolean> state,
                            KripkeStructure structure,
                            KripkeWorld world)
```
    Constructor.
    
    Parameters:
    
    state - the state to evaluate
    
    structure - structure where evaluate the state
    
    world - world where evaluate the state inside the structure
- Method Detail
  - getStructure
```
public KripkeStructure getStructure()
```
    Gets the Kripke structure.
    
    Returns:
    
    Kripke structure where to evaluate the state
  - getWorld
```
public KripkeWorld getWorld()
```
    Gets the world.
    
    Returns:
    
    world where to evaluate the state inside the Kripke structure