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.