public class TermGraphNormalizer
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
char |
PREFIX_FreshHedgeVar |
char |
PREFIX_FreshTermVar |
Constructor and Description |
---|
TermGraphNormalizer() |
Modifier and Type | Method and Description |
---|---|
TermGraph |
normalize(TermGraph tg)
Normalize all the names of all the variables in the given term graph.
|
void |
reset() |