7.9 Unification

OZ_unify

OZ_Return OZ_unify(OZ_Term t1OZ_Term t2)

Unify t1 and t2. Return OZ_ENTAILED on success and OZ_FAILED on failure.

OZ_unifyInt

OZ_Return OZ_unifyInt(OZ_Term t1int i)

This is an abbreviation for OZ_unify(t1, OZ_int(i))

OZ_unifyFloat

OZ_Return OZ_unifyFloat(OZ_Term t1float f)

This is an abbreviation for OZ_unify(t1, OZ_float(f))

OZ_unifyAtom

OZ_Return OZ_unifyAtom(OZ_Term t1char *s)

This is an abbreviation for OZ_unify(t1, OZ_atom(s))

OZ_eq

OZ_Return OZ_eq(OZ_Term t1OZ_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 t1char *s)

This is an abbreviation for OZ_eq(t1, OZ_atom(s))

OZ_eqInt

OZ_Return OZ_eqInt(OZ_Term t1int i)

This is an abbreviation for OZ_eq(t1, OZ_int(i))

OZ_eqFloat

OZ_Return OZ_eqFloat(OZ_Term t1double d)

This is an abbreviation for OZ_eq(t1, OZ_float(d))


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