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

# set_typed_pool_constraints(+Pool, +Type, +Constraints)

Replace the stored constraints for type Type

Pool
  Atom
Type
  Integer
Constraints
  List of callable Terms

## Description

The constraint store of pool Pool for type Type is forgotten and replaced with the list of constraints Constraints. This modification is backtrackable.

## Examples

## See Also

collect_typed_pool_constraints / 3, get_typed_pool_constraints / 3