[ 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