Package owl.automaton
Class UltimatelyPeriodicWord
- java.lang.Object
-
- owl.automaton.UltimatelyPeriodicWord
-
public final class UltimatelyPeriodicWord extends Object
-
-
Constructor Summary
Constructors Constructor Description UltimatelyPeriodicWord(List<BitSet> prefix, List<BitSet> period)
-