[ 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