idp_solver.SubstituteΒΆ
Methods to
- substitute a constant by its value in an expression
- replace symbols interpreted in a structure by their interpretation
- instantiate an expresion, i.e. replace a variable by a value
- expand quantifiers
This module monkey-patches the Expression class and sub-classes.
( see docs/zettlr/Substitute.md )