Expand description
Symbol registry for consistent variable naming in FOL output.
When translating to first-order logic, variables need consistent single-letter
names (x, y, z, etc.). The SymbolRegistry maps full words to their
assigned variable names and tracks usage counts to generate unique symbols.
For example, “farmer” might map to “f₁” if “f” is already used.
Structs§
- Symbol
Registry - Registry for mapping words to FOL variable names.