Package net.automatalib.util.ts.modal
-
Class Summary Class Description ModalRefinement MTSs Operations onModalTransitionSystems. -
Exception Summary Exception Description IllegalConjunctionException
| Class | Description |
|---|---|
| ModalRefinement | |
| MTSs |
Operations on
ModalTransitionSystems. |
| Exception | Description |
|---|---|
| IllegalConjunctionException |