Diamond

java.lang.Object
- MAKBPInterpreter.agents.AgentKnowledge
- - MAKBPInterpreter.agents.Diamond

All Implemented Interfaces:

Formula
```
public class Diamond
extends AgentKnowledge
```
Represents a knowledge that an agent considers to be true between world in a modal logic system.

Field Summary
- Fields inherited from class MAKBPInterpreter.agents.AgentKnowledge
  agent, innerFormula

Constructor Summary

Constructors
Constructor Description

Diamond(Agent agent, Formula formula)
Constructor.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`evaluate(LogicAssignment assignment)`	Evaluates a state that we passed into arguments.
`Formula`	`simplify()`	Simplifies the logic formula.

Methods inherited from class MAKBPInterpreter.agents.AgentKnowledge
contains, equals, getAgent, getInnerFormula, getNegation, hashCode, toString

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - Diamond
```
public Diamond(Agent agent,
               Formula formula)
```
    Constructor.
    
    Parameters:
    
    agent - agent who considers the formula to be true
    
    formula - considered formula by the agent
- Method Detail
  - simplify
```
public Formula simplify()
```
    Description copied from interface: Formula
    
    Simplifies the logic formula.
    
    Specified by:
    
    simplify in interface Formula
    
    Overrides:
    
    simplify in class AgentKnowledge
    
    Returns:
    
    simplified formula
  - evaluate
```
public boolean evaluate(LogicAssignment assignment)
                 throws java.lang.Exception
```
    Description copied from interface: Formula
    
    Evaluates a state that we passed into arguments.
    
    Specified by:
    
    evaluate in interface Formula
    
    Overrides:
    
    evaluate in class AgentKnowledge
    
    Parameters:
    
    assignment - state to evaluate
    
    Returns:
    
    result of the evaluation
    
    Throws:
    
    java.lang.Exception - throws when the formula not supported this operation or expected object not given