RabinDegeneralization.DegeneralizedRabinState (owl 21.0 API)

java.lang.Object
- owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState<S>

All Implemented Interfaces:: AnnotatedState<S>

Enclosing class:: RabinDegeneralization

public abstract static class RabinDegeneralization.DegeneralizedRabinState<S>
extends Object
implements AnnotatedState<S>

Constructor Summary

Constructors
Constructor Description

DegeneralizedRabinState()

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract boolean`	`equals(Object object)`
`abstract int`	`hashCode()`
`abstract S`	`state()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - DegeneralizedRabinState
```
public DegeneralizedRabinState()
```
- Method Detail
  - state
```
public abstract S state()
```
    Specified by:
    
    state in interface AnnotatedState<S>
  - equals
```
public abstract boolean equals(Object object)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
@Memoized
public abstract int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object