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 )