Skip to main content

Ctrl+K

ulkb documentation

Site Navigation

Object
Expression
Type constructor
Type
Term

Conversion, parsing, serialization

Appendix: More object methods

Appendix: Utilities

Site Navigation

Object
Expression
Type constructor
Type
Term

Conversion, parsing, serialization

Appendix: More object methods

Appendix: Utilities

Section Navigation

ulkb.Object.test_expression
ulkb.Object.test_object
ulkb.Object.test_theory

ulkb.Object.check_expression
ulkb.Object.check_object
ulkb.Object.check_theory

ulkb.Object.unfold_expression
ulkb.Object.unfold_object
ulkb.Object.unfold_theory

ulkb.Object.unfold_expression_unsafe
ulkb.Object.unfold_object_unsafe
ulkb.Object.unfold_theory_unsafe

ulkb.Object.unpack_expression
ulkb.Object.unpack_object
ulkb.Object.unpack_theory

ulkb.Object.unpack_expression_unsafe
ulkb.Object.unpack_object_unsafe
ulkb.Object.unpack_theory_unsafe

Appendix: More object methods
ulkb.Object.test_object

ulkb.Object.test_object#

Object.test_object()#

Tests whether object is an instance of Object.

Returns:: True if successful; False otherwise.

previous

ulkb.Object.test_expression

next

ulkb.Object.test_theory

On this page

Object.test_object()

© Copyright 2023, IBM Corp.

Created using Sphinx 7.2.2.

Built with the PyData Sphinx Theme 0.13.3.