Lines Matching refs:removed
355 goals are removed and the body of the \chr\ is executed. Similarly
362 If the constraint goal has not been removed and all rules have been tried,
369 rules that are tried in vain and redelay have been removed.
531 rarely occur. Specific duplicate constraints can still be removed by
719 constraints are removed. If the speed of the final handler is not
775 %\verb/Flag/ can be removed from the constraint store with the call
1016 will be added to or removed from the constraint store during the execution of
1025 As soon as the guard is satisfied, any constraints removed by a rule will
1027 removed by the rule will be present in the constraint store.
1041 elements are removed (because \verb+X lt Y+ is redundant, e.g. \verb+X lt 5+ with
1044 the head (the one that matched \verb+X::[A|L]+) has not yet been removed when
1046 is removed after the guard, so the \verb+X::L2+ is executed, and this can
1077 if the constraint being matched is not removed: