| Package | Description |
|---|---|
| net.automatalib.ts | |
| net.automatalib.ts.powerset |
| Modifier and Type | Method and Description |
|---|---|
default PowersetViewTS<?,I,?,S,T> |
TransitionSystem.powersetView()
Retrieves a "powerset view" of this transition system.
|
| Modifier and Type | Class and Description |
|---|---|
class |
DirectPowersetDTS<S,I,T> |
Copyright © 2018. All rights reserved.