
is_constraint_pool(+Pool)

   Check whether Pool is a constraint pool

Arguments
   Pool                Atom

Type
   library(constraint_pools)

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
