[−][src]Module razor_fol::transform
Implements a number of common transformations on first-order terms and formulae.
Structs
| SkolemGenerator | Generates Skolem names in an incremental fashion in the context of any transformation that involves Skolemization. |
Traits
| Substitution | Is the trait of types that map variables to terms. |
| TermBased | Is the trait of objects constructed atop |
| VariableRenaming | Is the trait of types that map variables to variables. |