[ library(constraint_pools) | Reference Manual | Alphabetic Index ]

# pool_is_empty(+Pool)

Check whether Pool is an empty constraint pool

Pool
  Atom

## Description

Succeeds of Pool is an empty constraint pool, i.e. has no constraints stored.

## Examples

## See Also

create_constraint_pool / 3, post_typed_pool_constraint / 3, collect_typed_pool_constraints / 3, collect_all_pool_constraints / 2, set_typed_pool_constraints / 3, get_all_pool_constraints / 2