8.1.2 Functions

Bool OZ_isExtension(OZ_Term t)

Tests if the OZ_Term is an extension (t must be dereferenced first).

Extension * OZ_getExtension(OZ_Term t)

Unbox the OZ_Term into an extension (t must be dereferenced).

OZ_Term oz_extension(Extension *e)

Box the Extension into an OZ_Term.

typedef OZ_Term (*oz_unmarshalProcType)(MsgBuffer*)
void oz_registerExtension(int idoz_unmarshalProcType f)

Registers an unmarshal procedure for the extension with the given id.

int OZ_getUniqueId()

Returns a new unique number usable as the id of an extension.


Michael Mehl, Tobias Müller, Christian Schulte and Ralf Scheidhauer
Version 1.0.1 (19990218)