Class StateContext


  • public final class StateContext
    extends Object
    Identifies a State and contextual information such as the time (zero based).
    • Constructor Detail

      • StateContext

        public StateContext​(State state,
                            Integer time)
        Initializes a new instance of StateContext.
        Parameters:
        state - The State.
        time - The associated time if the state belongs to a temporal node, or null otherwise.
    • Method Detail

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object
      • getState

        public State getState()
        Gets the State.
      • getTime

        public Integer getTime()
        Gets the zero based time associated with the state if the state belongs to a temporal node, or null otherwise.