Class State


  • public class State
    extends java.lang.Object
    Represents a state in an action transition system, which is a representation of an interpretation of all fluent names in an action description.
    Author:
    Sebastian Homann
    • Constructor Summary

      Constructors 
      Constructor Description
      State​(java.util.Set<FolAtom> fluents)
      Creates a new State with a set of fluents that are mapped to true.
    • Method Summary

      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      java.util.Set<FolAtom> getPositiveFluents()
      Returns the set of fluent atoms that are mapped to true by this state.
      int hashCode()  
      boolean isMappedToTrue​(FolAtom fluent)
      Returns true iff the fluent given is mapped to true by this state.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • State

        public State​(java.util.Set<FolAtom> fluents)
        Creates a new State with a set of fluents that are mapped to true.
        Parameters:
        fluents - The fluents which are mapped to true by this state.
    • Method Detail

      • isMappedToTrue

        public boolean isMappedToTrue​(FolAtom fluent)
        Returns true iff the fluent given is mapped to true by this state.
        Parameters:
        fluent - an FOL atom
        Returns:
        true iff the fluent given is mapped to true by this state.
      • getPositiveFluents

        public java.util.Set<FolAtom> getPositiveFluents()
        Returns the set of fluent atoms that are mapped to true by this state.
        Returns:
        the set of fluent atoms that are mapped to true by this state.
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object