| << Prev | - Up - | Next >> |
OZ_unify
OZ_Return OZ_unify(OZ_Term t1, OZ_Term t2)
Unify t1 and t2. Return OZ_ENTAILED on success and OZ_FAILED on failure.
OZ_unifyInt
OZ_Return OZ_unifyInt(OZ_Term t1, int i)
This is an abbreviation for OZ_unify(t1, OZ_int(i))
OZ_unifyFloat
OZ_Return OZ_unifyFloat(OZ_Term t1, float f)
This is an abbreviation for OZ_unify(t1, OZ_float(f))
OZ_unifyAtom
OZ_Return OZ_unifyAtom(OZ_Term t1, char *s)
This is an abbreviation for OZ_unify(t1, OZ_atom(s))
OZ_eq
OZ_Return OZ_eq(OZ_Term t1, OZ_Term t2)
Return non-null, if t1 and t2 reference the same Oz object in the store.
OZ_eqAtom
OZ_Return OZ_eqAtom(OZ_Term t1, char *s)
This is an abbreviation for OZ_eq(t1, OZ_atom(s))
OZ_eqInt
OZ_Return OZ_eqInt(OZ_Term t1, int i)
This is an abbreviation for OZ_eq(t1, OZ_int(i))
OZ_eqFloat
OZ_Return OZ_eqFloat(OZ_Term t1, double d)
This is an abbreviation for OZ_eq(t1, OZ_float(d))
| << Prev | - Up - | Next >> |