Class and Description |
---|
AbstractStateSet
Abstract class enclosing a state-set
State-sets can be implemented in multiple ways (e.g. |
FinalPaths
Interface for the storage transitions within and going-out of a state-set
Transitions can be represented in multiple ways (e.g. |
MDDStateSet
Default representation of a state-set recurring to a hash-map of states
States are efficiently stored and accessed using minimal keys |
State |
StateSet
Default representation of a state-set recurring to a hash-map of states
States are efficiently stored and accessed using minimal keys |
Class and Description |
---|
Result |
Class and Description |
---|
AbstractStateSet
Abstract class enclosing a state-set
State-sets can be implemented in multiple ways (e.g. |
CompactStateSet
Representation of a state-set recurring to a compact set of patterns defining the internal states
|
FinalPaths
Interface for the storage transitions within and going-out of a state-set
Transitions can be represented in multiple ways (e.g. |
Result |
State |
StateSet
Default representation of a state-set recurring to a hash-map of states
States are efficiently stored and accessed using minimal keys |
Class and Description |
---|
FinalPaths
Interface for the storage transitions within and going-out of a state-set
Transitions can be represented in multiple ways (e.g. |
MDDStateSet
Default representation of a state-set recurring to a hash-map of states
States are efficiently stored and accessed using minimal keys |
Result |
State |
Class and Description |
---|
State |
StateSet
Default representation of a state-set recurring to a hash-map of states
States are efficiently stored and accessed using minimal keys |
Class and Description |
---|
Result |
Copyright © 2005–2020. All rights reserved.