<< Prev | - Up - | Next >> |
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 t1, OZ_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 v1, OZ_Term v2)
OZ_suspendOn3(OZ_Term v1, OZ_Term v2, OZ_Term v3)
Like OZ_suspendOn
, but suspends the executing thread disjunctively on the argument variables.
<< Prev | - Up - | Next >> |