Appendix: More object methods#

Testing#

Object.test_expression()

Tests whether object is an instance of Expression.

Object.test_object()

Tests whether object is an instance of Object.

Object.test_theory()

Tests whether object is an instance of Theory.

Checking#

Object.check_expression([func_name, ...])

Checks whether object is an instance of Expression.

Object.check_object([func_name, arg_name, ...])

Checks whether object is an instance of Object.

Object.check_theory([func_name, arg_name, ...])

Checks whether object is an instance of Theory.

Unfolding#

Object.unfold_expression()

Unfolds arguments of Expression.

Object.unfold_object()

Unfolds arguments of Object.

Object.unfold_theory()

Unfolds arguments of Theory.

Unsafe versions:

Object.unfold_expression_unsafe()

Unfolds arguments of Expression (unsafe version).

Object.unfold_object_unsafe()

Unfolds arguments of Object (unsafe version).

Object.unfold_theory_unsafe()

Unfolds arguments of Theory (unsafe version).

Unpacking#

Object.unpack_expression()

Unpacks arguments of Expression.

Object.unpack_object()

Unpacks arguments of Object.

Object.unpack_theory()

Unpacks arguments of Theory.

Unsafe versions:

Object.unpack_expression_unsafe()

Unpacks arguments of Expression (unsafe version).

Object.unpack_object_unsafe()

Unpacks arguments of Object (unsafe version).

Object.unpack_theory_unsafe()

Unpacks arguments of Theory (unsafe version).