Package fr.uga.pddl4j.problem

Interface AtomicFormulaSimplifier<T>

All Known Subinterfaces:
Problem
All Known Implementing Classes:
AbstractProblem, DefaultProblem, FinalizedProblem, InstantiatedProblem, PostInstantiatedProblem, PreInstantiatedProblem
public interface AtomicFormulaSimplifier<T>
This interface defines the method that must be implemented by object able to simplify atomic formula. In practice, only a problem is able to simplify an atomic formula based on the inertia principle.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    simplify​(Expression<T> expression)
    Simplify the expression specified.

  • Method Details

    • simplify

      boolean simplify​(Expression<T> expression)
      Simplify the expression specified. The call of the method with an expression such as the connector is different of ATOM always return false.
      Parameters:
      expression - the expression to simplify.
      Returns:
      true if the expression was simplified; false otherwise.