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 )