Method children

lean_py/z3/core.py:348–350

Return list of all children of this expression.

(self)

        return _child_expr(children[i], self, i)

    def children(self) -> list[ExprRef]:
        """Return list of all children of this expression."""
        return [_child_expr(c, self, i) for i, c in enumerate(_ast_children(self._ast))]

    def decl(self) -> FuncDeclRef:
        """Return the function declaration for this expression."""