Class IARState<R>

    • Constructor Detail

      • IARState

        public IARState()
    • Method Detail

      • record

        public abstract de.tum.in.naturals.IntPreOrder record()
      • of

        public static <R> IARState<R> of​(R originalState)
      • of

        public static <R> IARState<R> of​(R originalState,
                                         de.tum.in.naturals.IntPreOrder record)
      • hashCode

        @Memoized
        public abstract int hashCode()
        Overrides:
        hashCode in class Object