7.12 Miscellaneous

OZ_false

OZ_term OZ_false()

Returns the Oz name for the boolean value false.

OZ_true

OZ_term OZ_true()

Returns the Oz name for the boolean value true.

OZ_unit

OZ_term OZ_unit()

Returns the Oz name for unit.

OZ_smallIntMin

int OZ_smallIntMin()

Returns the minimal small integer.

OZ_smallIntMax

int OZ_smallIntMax()

Returns the maximal small integer.

OZ_featureCmp

int OZ_featureCmp(OZ_Term t1OZ_Term t2)

Compares the features t1 and t2. Returns zero if they are equal, -1 if t1 is less than t2 and 1 if t2 is less than t1.

OZ_suspendOn

OZ_suspendOn(OZ_Term v)

Suspends the executing thread on v. v must be a variable. When v gets bound then the thread gets woken by first reexecuting the enclosing C function from the beginning.

OZ_suspendOn2
OZ_suspendOn3

OZ_suspendOn2(OZ_Term v1OZ_Term v2)
OZ_suspendOn3(OZ_Term v1OZ_Term v2OZ_Term v3)

Like OZ_suspendOn , but suspends the executing thread disjunctively on the argument variables.


Michael Mehl, Tobias Müller, Christian Schulte and Ralf Scheidhauer
Version 1.4.0 (20080702)