Package fr.uga.pddl4j.problem.operator

Interface FluentDescription

All Superinterfaces:
Serializable
All Known Implementing Classes:
AbstractFluentDescription, Condition, Effect, Goal, InitialState
public interface FluentDescription extends Serializable
This class implements a fluent description. The class fluent description is used to represents the preconditions and the effects of the action and the method. The class uses a bit vector representation of the fluents.
Since:
4.0
See Also:
BitVector

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    cardinality()
    Returns the cardinality of the fluent description, i.e., the number of fluents defined the positive and negative timed fluent description.
    BitVector
    getNegativeFluents()
    Returns the positive fluents of the fluent description.
    BitVector
    getPositiveFluents()
    Returns the positive fluents of the fluent description.
    boolean
    isConsistent()
    Returns if this abstract fluent description is consistent.
    boolean
    isEmpty()
    Returns if fluent description is empty, i.e., if the fluent description has no positive and no negative fluent.

  • Method Details

    • getPositiveFluents

      BitVector getPositiveFluents()
      Returns the positive fluents of the fluent description. This method is equivalent of this.getPositiveTimedGoalDescription().getAtStart().
      Returns:
      the positive fluents of the fluent description.

    • getNegativeFluents

      BitVector getNegativeFluents()
      Returns the positive fluents of the fluent description. This method is equivalent of this.getNegativeTimedGoalDescription().getAtStart().
      Returns:
      the negative fluents of the fluent description.

    • isEmpty

      boolean isEmpty()
      Returns if fluent description is empty, i.e., if the fluent description has no positive and no negative fluent. Such a goal description is always true.
      Returns:
      true if the fluent description is empty; false otherwise.

    • cardinality

      int cardinality()
      Returns the cardinality of the fluent description, i.e., the number of fluents defined the positive and negative timed fluent description.
      Returns:
      the cardinality of the fluent description.

    • isConsistent

      boolean isConsistent()
      Returns if this abstract fluent description is consistent. A fluent description is consistent a fluent is at the same postive and negative.
      Returns:
      true if this abstract fluent description is consistent false otherwise.