Administrators, writer
2,824
edits
Changes
Jump to navigation
Jump to search
Manuals/calci/THEREEXISTSONE (view source)
Revision as of 19:57, 4 February 2020
, 19:57, 4 February 2020Created page with "==THEREEXISTSONE(SomeArray,SomeFunctions) == ==Description== *THEREEXISTSONE returns the result of applying the set of SomeFunctions to SomeArray, if results evaluate to tr..."
==THEREEXISTSONE(SomeArray,SomeFunctions) ==
==Description==
*THEREEXISTSONE returns the result of applying the set of SomeFunctions to SomeArray, if results evaluate to true for one exactly element in the array when the functions are applied.
==Example==
THEREEXISTSONE(1..100,"x<=1")
gives true
THEREEXISTSONE(1..100,"x<=2")
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==
*THEREEXISTSONE returns the result of applying the set of SomeFunctions to SomeArray, if results evaluate to true for one exactly element in the array when the functions are applied.
==Example==
THEREEXISTSONE(1..100,"x<=1")
gives true
THEREEXISTSONE(1..100,"x<=2")
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 ]]