Package owl.translations.dra2dpa

## Class IARState<R>

- java.lang.Object
- - owl.translations.dra2dpa.IARState<R>

- All Implemented Interfaces:
    `AnnotatedState<R>`

      @Immutable
      public abstract class IARState<R>
      extends Object
      implements AnnotatedState<R>

- - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `IARState()` |

  - ### Method Summary

    All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `static <R> IARState<R>` | `active​(R originalState, de.tum.in.naturals.IntPreOrder record)` |
    `abstract de.tum.in.naturals.IntPreOrder` | `record()` |
    `abstract R` | `state()` |
    `String` | `toString()` |
    `static <R> IARState<R>` | `trivial​(R originalState)` |

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

- - ### Constructor Detail

    - #### IARState

          public IARState()

  - ### Method Detail

    - #### state

          public abstract R state()

      Specified by:
        `state` in interface `AnnotatedState<R>`

    - #### 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)

    - #### toString

          public String toString()

      Overrides:
        `toString` in class `Object`