K - the key typeV - the value typepublic interface StateMap<K,V>
StateManager.saveState() / StateManager.restoreState()
methods.for the creation.| Modifier and Type | Method and Description |
|---|---|
V |
get(K k)
Retrieves the value for a given key.
|
void |
put(K k,
V v)
Inserts the key-value pair.
|
Copyright © 2018 Laurent Michel, Pierre Schaus, Pascal Van Hentenryck. All rights reserved.