Administrators, writer
2,824
edits
Changes
Jump to navigation
Jump to search
Created page with "==FORALL(SomeArray,SomeFunctions) == ==Description== *FORALL returns the result of applying the set of SomeFunctions to SomeArray ==Example== FORALL(1..100,"z<=100") giv..."
==FORALL(SomeArray,SomeFunctions) ==
==Description==
*FORALL returns the result of applying the set of SomeFunctions to SomeArray
==Example==
FORALL(1..100,"z<=100")
gives true
FORALL(1..100,"z<=50")
gives false
==See Also==
*[[Manuals/calci/FORALL| FORALL]]
*[[Manuals/calci/THEREEXISTS| THEREEXISTS]]
*[[Manuals/calci/THEREDOESNOTEXIST| THEREDOESNOTEXIST]]
*[[Manuals/calci/THEREEXISTSONE| THEREEXISTSONE]]
*[[Manuals/calci/FORDOFFUNCTIONS| FORDOFFUNCTIONS]]
==References==
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]
==Description==
*FORALL returns the result of applying the set of SomeFunctions to SomeArray
==Example==
FORALL(1..100,"z<=100")
gives true
FORALL(1..100,"z<=50")
gives false
==See Also==
*[[Manuals/calci/FORALL| FORALL]]
*[[Manuals/calci/THEREEXISTS| THEREEXISTS]]
*[[Manuals/calci/THEREDOESNOTEXIST| THEREDOESNOTEXIST]]
*[[Manuals/calci/THEREEXISTSONE| THEREEXISTSONE]]
*[[Manuals/calci/FORDOFFUNCTIONS| FORDOFFUNCTIONS]]
==References==
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]