[ library(constraint_pools) | Reference Manual | Alphabetic Index ]

set_pool_item(+Pool, +Item)

Associate a term Item with the pool Pool
Pool
Atom
Item
Arbitrary term

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