Package FAtiMA.Core.plans

Interface IPlanningOperator

    • Method Detail

      • getProbability

        float getProbability​(AgentModel am)
        Gets the operator's probability of execution
        Returns:
        the operators's probability

      • updateEffectsProbability

        void updateEffectsProbability​(AgentModel am)
        Updates the probabilities of the operators's effects

      • checkPreconditions

        boolean checkPreconditions​(AgentModel am)
        Checks if the operators's preconditions are verified in the current State
        Returns:
        true if all preconditions are true according to the current State, false otherwise

      • equals

        boolean equals​(IPlanningOperator op)
        Compares this planOperator with another planOperator to see if they are equal
        Parameters:
        op -
        Returns:
        true if the operators have the same ID in a plan

      • getEffects

        java.util.ArrayList<Effect> getEffects()
        Gets the operator's effects
        Returns:
        an ArrayList with all the operators's effects

      • getID

        java.lang.Integer getID()
        Gets the ID of the Operator in the plan
        Returns:
        - the Operator's ID

      • getName

        Name getName()
        Gets the Operators's name
        Returns:
        the Operator's name

      • getAgent

        Symbol getAgent()
        Gets the name of the agent that executes the operator
        Returns:
        the name of the agent that executes the operator

      • getPreconditions

        java.util.ArrayList<Condition> getPreconditions()
        Gets the preconditions of the Operator
        Returns:
        an ArrayList with all the Operator's preconditions

      • getPrecondition

        Condition getPrecondition​(java.lang.Integer preconditionID)
        Gets the operator's precondition with the given ID
        Parameters:
        preconditionID - - the id of the operators's precondition
        Returns:
        the precondition

      • getEffect

        Effect getEffect​(java.lang.Integer effectID)
        Gets the operators's effect with the given ID
        Parameters:
        effectID - - the id of the operators's effect
        Returns:
        the effect

      • setID

        void setID​(java.lang.Integer id)
        Sets the operators's ID in the plan
        Parameters:
        id - - the new operators's ID

      • clone

        java.lang.Object clone()