Package | Description |
---|---|
net.automatalib.modelchecking.lasso |
Modifier and Type | Class and Description |
---|---|
class |
DFALassoImpl<I>
A DFALasso is a lasso for
DFA s. |
class |
MealyLassoImpl<I,O>
A MealyLasso is a lasso for
MealyMachine s. |
Copyright © 2020. All rights reserved.