[ library(constraint_pools) | Reference Manual | Alphabetic Index ]
get_typed_pool_constraints(+Pool, +Type, -Constraints)
Get all currently stored constraints of type Type in Pool
- Variable, returns list of callable terms
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.
collect_typed_pool_constraints / 3, get_all_pool_constraints / 2