[ 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