Package | Description |
---|---|
de.learnlib.algorithms.discriminationtree.hypothesis.vpda |
Modifier and Type | Method and Description |
---|---|
HypIntTrans<I> |
HypLoc.getInternalTransition(int intSymId) |
Modifier and Type | Method and Description |
---|---|
void |
HypLoc.setInternalTransition(int intSymId,
HypIntTrans<I> succ) |
Copyright © 2018. All rights reserved.