idp_engine.InterpretΒΆ
Methods to ground / interpret a theory in a data structure
expand quantifiers
replace symbols interpreted in the structure by their interpretation
This module also includes methods to:
substitute a node by another in an AST tree
instantiate an expresion, i.e. replace a variable by a value
This module monkey-patches the ASTNode class and sub-classes.
( see docs/zettlr/Substitute.md )