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