Package MAKBPInterpreter.agents

Class EverybodyKnowledge

  • All Implemented Interfaces:
    Formula
    public class EverybodyKnowledge
extends java.lang.Object
implements Formula
    Represents a set of agents knowing a common formula.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.util.Set<Agent> agents
      Agent set where each agent knows the associated formula.
      protected Formula innerFormula
      Common formula knows by all the agents.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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.
      java.util.Set<Agent> getAgents()
      Gets the agent set where each agent knows the associated formula.
      Formula getInnerFormula()
      Gets the inner formula object.
      Formula getNegation()
      Returns the negation of the current formula.
      int hashCode()  
      Formula simplify()
      Simplifies the logic formula.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • agents

        protected java.util.Set<Agent> agents
        Agent set where each agent knows the associated formula.

      • innerFormula

        protected Formula innerFormula
        Common formula knows by all the agents.

    • Constructor Detail

      • EverybodyKnowledge

        public EverybodyKnowledge​(Formula formula,
                          java.util.Set<Agent> agents)
        Default constructor.
        Parameters:
        formula - knowledge
        agents - set of agents where each of this knows the formula

    • Method Detail

      • 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

      • getAgents

        public java.util.Set<Agent> getAgents()
        Gets the agent set where each agent knows the associated formula.
        Returns:
        agent set

      • 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