UltimatelyPeriodicWord (owl 21.0 API)

java.lang.Object
- owl.automaton.UltimatelyPeriodicWord

public final class UltimatelyPeriodicWord
extends Object

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  List<ImmutableBitSet> period
  
  List<ImmutableBitSet> prefix
- Constructor Summary
  
  Constructors
  Constructor Description
  
  UltimatelyPeriodicWord(List<BitSet> prefix, List<BitSet> period)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  boolean equals(Object o)
  
  int hashCode()
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

prefix

public final List<ImmutableBitSet> prefix

period

public final List<ImmutableBitSet> period

Constructor Detail

UltimatelyPeriodicWord

public UltimatelyPeriodicWord(List<BitSet> prefix,
                              List<BitSet> period)

Method Detail
- equals
```
public boolean equals(Object o)
```
  Overrides:
  
  equals in class Object
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class Object