[ library(constraint_pools) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

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

Collect 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. An empty list is returned if the pool was already empty for this type. The pool store for type Type is emptied. This modification is backtrackable.

## See Also

pool_is_empty / 1, get_typed_pool_constraints / 3, collect_all_pool_constraints / 2