Class IARState<R>

    • Constructor Detail

      • IARState

        public IARState()
    • Method Detail

      • record

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

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

        public static <R> IARState<R> trivial​(R originalState)