Searched refs:sdiffmap (Results 1 – 2 of 2) sorted by relevance
485 ((eq (caar e) 'mplus) (addn (sdiffmap (cdr e) x) t))486 ((mbagp e) (cons (car e) (sdiffmap (cdr e) x)))566 (setq args (sdiffmap (cdr e) x))596 (defun sdiffmap (e x) function
1568 (simplus (cons '(mplus) (sdiffmap (cdr e) x))1573 ((mbagp e) (cons (car e) (sdiffmap (cdr e) x)))1579 (sdiffmap (cdr y) x))))