[ 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