Searched refs:seq_var (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dbip_arith.c583 pword *seq_mono, *seq_var, seq_coeff; local
596 seq_var = &unit_var;
631 if (seq_var != &unit_var)
658 else if (cur_var == seq_var) /* still part of a variable sequence */
679 if (seq_var != &unit_var && p_is_zero(seq_coeff.val, seq_coeff.tag) == PSUCCEED)
704 pw[OFF_VAR] = *seq_var;
718 seq_var = cur_var;

Completed in 30 milliseconds