[ 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