IfInstantiationCachePool (KeY API Documentation)

```
public class IfInstantiationCachePool
extends java.lang.Object
```
Direct-mapped cache of lists of formulas (potential instantiations of if-formulas of taclets) that were modified after a certain point of time Hashmaps of the particular lists of formulas; the keys of the maps is the point of time that separates old from new (modified) formulas Keys: Long Values: IList

Nested Classes
Modifier and Type	Class and Description
`static class`	`IfInstantiationCachePool.IfInstantiationCache`

Fields
Modifier and Type	Field and Description
`LRUCache<Node,IfInstantiationCachePool.IfInstantiationCache>`	`cacheMgr`

Constructors
Constructor and Description
`IfInstantiationCachePool()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`IfInstantiationCachePool.IfInstantiationCache`	`getCache(Node n)`
`void`	`release(Node n)`
`void`	`releaseAll()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public final LRUCache<Node,IfInstantiationCachePool.IfInstantiationCache> cacheMgr

Constructor Detail
- IfInstantiationCachePool
```
public IfInstantiationCachePool()
```

public IfInstantiationCachePool.IfInstantiationCache getCache(Node n)

Class IfInstantiationCachePool