public class InferStamps extends Object
| Constructor and Description |
|---|
InferStamps() |
| Modifier and Type | Method and Description |
|---|---|
static void |
inferStamps(StructuredGraph graph)
Infer the stamps for all Object nodes in the graph, to make the stamps as precise as
possible.
|
public static void inferStamps(StructuredGraph graph)
This method can be used when it is needed that stamps are inferred before the first run of the canonicalizer. For example, word type rewriting must run before the first run of the canonicalizer because many nodes are not prepared to see the word type during canonicalization.