[ library(constraint_pools) | Reference Manual | Alphabetic Index ]
is_constraint_pool(+Pool)
Check whether Pool is a constraint pool
- Pool
- Atom
Description
Succeeds of Pool is a constraint pool that has been created earlier
using create_constraint_pool/3.
Examples
See Also
create_constraint_pool / 3