<< Prev | - Up - | Next >> |
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 id, oz_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.
<< Prev | - Up - | Next >> |