https://wiki.zcubes.com/index.php?action=history&feed=atom&title=Manuals%2Fcalci%2FFORDOFUNCTIONS 2026-04-28T01:14:59Z Revision history for this page on the wiki MediaWiki 1.35.2 https://wiki.zcubes.com/index.php?title=Manuals/calci/FORDOFUNCTIONS&diff=212705&oldid=prev 2020-02-04T19:46:09Z

<p>Created page with &quot;==FORDOFFUNCTIONS(SomeType,SomeArray,SomeFunctions) == ==Description== *SomeType may be filter, map, forall, etc. *FORDOFFUNCTIONS returns the result of applying the set of...&quot;</p> <p><b>New page</b></p><div>==FORDOFFUNCTIONS(SomeType,SomeArray,SomeFunctions) ==<br /> <br /> <br /> ==Description==<br /> *SomeType may be filter, map, forall, etc.<br /> *FORDOFFUNCTIONS returns the result of applying the set of SomeFunctions to SomeArray<br /> *This function is used primarily by other functions.<br /> <br /> <br /> ==See Also==<br /> <br /> *[[Manuals/calci/FORALL| FORALL]]<br /> *[[Manuals/calci/THEREEXISTS| THEREEXISTS]]<br /> *[[Manuals/calci/THEREDOESNOTEXIST| THEREDOESNOTEXIST]]<br /> *[[Manuals/calci/THEREEXISTSONE| THEREEXISTSONE]]<br /> ==References==<br /> *[http://www.geeksforgeeks.org/backtracking-set-3-n-queen-problem/ N Queens]<br /> <br /> *[[Z_API_Functions | List of Main Z Functions]]<br /> <br /> *[[ Z3 | Z3 home ]]</div>

Joseph