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

# get_typed_pool_constraints(+Pool, +Type, -Constraints)

Get all currently stored constraints of type Type in Pool

Pool
  Atom
Type
  Integer
Constraints
  Variable, returns list of callable terms

## Description

Constraints is unified with a list of all currently stored constraints of type Type in Pool. The pool itself is not changed. An empty list is returned if the pool is empty for this type.

## See Also

collect_typed_pool_constraints / 3, get_all_pool_constraints / 2