[ 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