
set_pool_item(+Pool, +Item)

   Associate a term Item with the pool Pool

Arguments
   Pool                Atom
   Item                Arbitrary term

Type
   library(constraint_pools)

Description

    An arbitrary term (for example a solver handle) is associated with the
    pool Pool, in order to be retrieved later using get_pool_item/2.
    The modification to the pool is backtrackable.
    

Examples
       ?- create_constraint_pool(p, 0, []).
    Yes (0.08s cpu)

    ?- set_pool_item(p, sample_item), get_pool_item(p,X).
    X = sample_item
    Yes (0.00s cpu)
    

See Also
   create_constraint_pool / 3, get_pool_item / 2
