HELP FORALL_MATCH Rudi Lutz April 1983 Updated to use "!" Aaron Sloman Oct 1996 The format of this is: FORALL_MATCH ! IN DO ENDFORALL_MATCH Its effect is to do for every possible way the can match . can be any pattern recognised by the normal pop matcher, including ? and ?? variables, restriction procedures, = and == , etc. However any restriction procedures will be applied in a strictly LEFT TO RIGHT order (as they appear in the pattern). In addition quitloop etc. should work if used in the . Example of use: lvars x y; forall_match ! [== ?x == ?y ==] in [ 1 2 3 4] do x+y=> endforall_match; ;;;finds all sums of pairs of numbers in a list ** 3 ** 4 ** 5 ** 5 ** 6 ** 7 lvars x y z w u v; forall_match ! [??x ??y [??z ??w] ??u ??v] in [a b [c d] e f] do quitif(x=[a]); [x ^x y ^y z ^z w ^w u ^u v ^v]==> endforall_match; ** [x [] y [a b] z [] w [c d] u [] v [e f]] ** [x [] y [a b] z [] w [c d] u [e] v [f]] ** [x [] y [a b] z [] w [c d] u [e f] v []] ** [x [] y [a b] z [c] w [d] u [] v [e f]] ** [x [] y [a b] z [c] w [d] u [e] v [f]] ** [x [] y [a b] z [c] w [d] u [e f] v []] ** [x [] y [a b] z [c d] w [] u [] v [e f]] ** [x [] y [a b] z [c d] w [] u [e] v [f]] ** [x [] y [a b] z [c d] w [] u [e f] v []] Try that again without the quitif command. --- File: local/help/forall_match --- Distribution: all --- University of Sussex Poplog LOCAL File ------------------------------ --- \$poplocal/local/help/forall_match --- Copyright University of Birmingham 1996. All rights reserved. ------