Package MAKBPInterpreter.agents

Class AgentKnowledge

java.lang.Object

MAKBPInterpreter.agents.AgentKnowledge

All Implemented Interfaces:

Formula

Direct Known Subclasses:

Box, Diamond

public class AgentKnowledge
extends java.lang.Object
implements Formula

Represents an agent knowledge about the world.

Field Summary

Fields

Modifier and Type	Field	Description
protected Agent	agent	Associated agent.
protected Formula	innerFormula	Inner formula.

Constructor Summary

Constructors

Constructor	Description
AgentKnowledge(Agent agent, Formula formula)	Constructor.

Method Summary

Modifier and Type	Method	Description
boolean	contains(Formula otherFormula)	Returns true if this formula contains the specified formula.
boolean	equals(java.lang.Object other)	Verifies if the current object formula and other formula are the same.
boolean	evaluate(LogicAssignment assignment)	Evaluates a state that we passed into arguments.
Agent	getAgent()	Gets the agent.
Formula	getInnerFormula()	Gets the inner formula object.
Formula	getNegation()	Returns the negation of the current formula.
int	hashCode()
Formula	simplify()	Simplifies the logic formula.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

innerFormula

protected Formula innerFormula

Inner formula.

agent

protected Agent agent

Associated agent.

Constructor Detail

AgentKnowledge

public AgentKnowledge(Agent agent,
                      Formula formula)

Constructor.

Parameters:

agent - agent who knows the formula

formula - formula known by the agent

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Description copied from interface: Formula

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

Specified by:

equals in interface Formula

Overrides:

equals in class java.lang.Object

Parameters:

other - other formula to test the equality

Returns:

result of the equality test

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

simplify

public Formula simplify()

Description copied from interface: Formula

Simplifies the logic formula.

Specified by:

simplify in interface Formula

Returns:

simplified formula

getNegation

public Formula getNegation()

Description copied from interface: Formula

Returns the negation of the current formula.

Specified by:

getNegation in interface Formula

Returns:

negation of formula

contains

public boolean contains(Formula otherFormula)

Description copied from interface: Formula

Returns true if this formula contains the specified formula.

Specified by:

contains in interface Formula

Parameters:

otherFormula - other formula whose presence in this formula is to be tested

Returns:

true if this formula contains the specified formula

getInnerFormula

public Formula getInnerFormula()

Gets the inner formula object.

Returns:

inner formula object

See Also:

innerFormula

getAgent

public Agent getAgent()

Gets the agent.

Returns:

agent

See Also:

agent

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

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