Package owl.translations.rabinizer

## Class RabinizerState

- java.lang.Object
- - owl.translations.rabinizer.RabinizerState

-     @Immutable
      public abstract class RabinizerState
      extends Object

- - ### Constructor Summary

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

  - ### Method Summary

    All Methods Instance Methods Abstract Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `abstract EquivalenceClass` | `masterState()` |
    `abstract List<owl.translations.rabinizer.MonitorState>` | `monitorStates()` |
    `String` | `toString()` |

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

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

- - ### Constructor Detail

    - #### RabinizerState

          public RabinizerState()

  - ### Method Detail

    - #### masterState

          public abstract EquivalenceClass masterState()

    - #### monitorStates

          public abstract List<owl.translations.rabinizer.MonitorState> monitorStates()

    - #### toString

          public String toString()

      Overrides:
        `toString` in class `Object`