Package | Description |
---|---|
net.automatalib.ts.abstractimpl |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> PowersetDTS<S,I,T> |
AbstractTS.powersetView(TransitionSystem<S,I,T> $this)
Provides a realization of
TransitionSystem.powersetView() . |
Copyright © 2015. All Rights Reserved.