class IfInstantiationCache extends Object
Modifier and Type | Field and Description |
---|---|
HashMap<Long,ImmutableList<IfFormulaInstantiation>> |
antecCache |
Node |
cacheKey |
static IfInstantiationCache |
ifInstCache
This field causes a memory leak (that is ad-hoc-ly fixed in
QueueRuleApplicationManager.clearCache()) because it is static and it has
a reference to node which has again a reference to proof.
|
HashMap<Long,ImmutableList<IfFormulaInstantiation>> |
succCache |
Constructor and Description |
---|
IfInstantiationCache() |
public Node cacheKey
public final HashMap<Long,ImmutableList<IfFormulaInstantiation>> antecCache
public final HashMap<Long,ImmutableList<IfFormulaInstantiation>> succCache
public static final IfInstantiationCache ifInstCache
public void reset(Node n)