| Package | Description |
|---|---|
| qilin.pta.toolkits.mahjong.automata |
| Modifier and Type | Method and Description |
|---|---|
DFA |
DFAFactory.getDFA(AllocNode obj) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
DFAEquivalenceChecker.isEquivalent(DFA dfa1,
DFA dfa2)
Check the equivalence of input automata by Hopcroft-Karp algorithm with minor modifications.
|
Copyright © 2024 Soot OSS. All rights reserved.