Uses of Interface
net.automatalib.ts.PowersetViewTS
-
Packages that use PowersetViewTS Package Description net.automatalib.ts This package (including sub-packages) contains the basic classes concerning transition systems.net.automatalib.ts.powerset -
-
Uses of PowersetViewTS in net.automatalib.ts
Methods in net.automatalib.ts that return PowersetViewTS Modifier and Type Method Description default PowersetViewTS<?,I,?,S,T>
TransitionSystem. powersetView()
Retrieves a "powerset view" of this transition system. -
Uses of PowersetViewTS in net.automatalib.ts.powerset
Classes in net.automatalib.ts.powerset that implement PowersetViewTS Modifier and Type Class Description class
DeterministicPowersetView<S,I,T>
class
DirectPowersetDTS<S,I,T>
class
FastPowersetDTS<S extends NumericID,I,T>
-