Manuals/calci/FORDOFUNCTIONS

Description

• SomeType may be filter, map, forall, etc.
• FORDOFFUNCTIONS returns the result of applying the set of SomeFunctions to SomeArray
• This function is used primarily by other functions.

See Also

• FORALL
• THEREEXISTS
• THEREDOESNOTEXIST
• THEREEXISTSONE

References

• N Queens

• List of Main Z Functions

• Z3 home