[ library(constraint_pools) | Reference Manual | Alphabetic Index ]
collect_all_pool_constraints(+Pool, -Constraints)
Collect all currently stored constraints in Pool
- Pool
- Atom
- Constraints
- Variable, returns list of callable terms
Description
    Constraints is unified with a list of all currently stored constraints
    in Pool, regardless of their type.  An empty list is returned if the
    pool was already empty.  The pool store is emptied completely.
    This modification is backtrackable.
    
See Also
pool_is_empty / 1, get_all_pool_constraints / 2, collect_typed_pool_constraints / 3