/*-------------------------------------------------------------------------*
* LOAD_POLY *
* *
* This function loads a polynomial term (without constant) into a word. *
* Input: *
* nb_monom : nb of monomial terms (nb_monom > 0) *
* m : array of monomial terms *
* pref_load_word: wanted load_word (or NOT_A_WAM_WORD) *
* *
* Output: *
* load_word : the word containing the loading ie.: <REF,adr> *
* *
* This functions does not take into account constants. *
*-------------------------------------------------------------------------*/
static Bool
Load_Poly(int nb_monom, Monom *m, WamWord pref_load_word,
WamWord *load_word)
{
if (nb_monom == 1 && m[0].a == 1)
{
if (pref_load_word != NOT_A_WAM_WORD)
{
if (!Pl_Fd_Math_Unify_X_Y(m[0].x_word, pref_load_word))
return FALSE;
*load_word = pref_load_word;
return TRUE;
}
*load_word = m[0].x_word;
return TRUE;
}
if (pref_load_word != NOT_A_WAM_WORD)
*load_word = pref_load_word;
else
*load_word = New_Tagged_Fd_Variable;
return Load_Poly_Rec(nb_monom, m, *load_word);
}
/*-------------------------------------------------------------------------*
* SET_EQUIV *
* *
*-------------------------------------------------------------------------*/
static Bool
Set_Equiv(WamWord *exp, int result, WamWord *load_word)
{
WamWord load_l, load_r;
if (!Load_Bool_Into_Word((WamWord *) (exp[1]), 2, &load_l) ||
!Load_Bool_Into_Word((WamWord *) (exp[2]), 2, &load_r))
return FALSE;
if (result == 0) /* L <=> R is false */
{
BOOL_CSTR_2(pl_not_x_eq_b, load_l, load_r);
return TRUE;
}
if (result == 1) /* L <=> R is true */
return Pl_Fd_Math_Unify_X_Y(load_l, load_r);
/* L <=> R = B */
*load_word = Tag_REF(Pl_Fd_New_Bool_Variable());
BOOL_CSTR_3(pl_x_equiv_y_eq_b, load_l, load_r, *load_word);
return TRUE;
}
