[ library(constraint_pools) | 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