Lines Matching defs:plin
677 #define BeginIterateLinList(plin, pterm, idx, coef, var) \
679 while (!IsNil(plin->tag)) { \
680 Check_Pair(plin->tag); \
682 pterm = plin->val.ptr; \
694 #define EndIterateLinList(plin) \
696 plin = plin->val.ptr + 1; \
697 Dereference(plin); \
3053 set_vars_to_lwb_list(pword *plin, con_info *con, prop_info *prop)
3062 BeginIterateLinList(plin, pterm, idx, a, tmp)
3106 EndIterateLinList(plin)
3556 type_check_lin_terms(pword *plin, int flags)
3562 BeginIterateLinList(plin, pterm, idx, a, tmp)
3574 EndIterateLinList(plin)
3588 setup_pass_1(pword *plin, con_info *con, prop_info *prop)
3623 BeginIterateLinList(plin, pterm, idx, a, tmp)
3707 EndIterateLinList(plin)
3736 process_lin_terms_to_vectors_and_prop(pword *plin, con_info *con,
3865 BeginIterateLinList(plin, pterm, idx, a, tmp)
4067 EndIterateLinList(plin)
4182 setup_1v_con(pword *plin, con_info *con, prop_info *prop, int *solved)
4204 BeginIterateLinList(plin, pterm, idx, a, tmp)
4265 EndIterateLinList(plin)