- collect_all_pool_constraints(+Pool, -Constraints)
- Collect all currently stored constraints in Pool
- collect_typed_pool_constraints(+Pool, +Type, -Constraints)
- Collect all currently stored constraints of type Type in Pool
- create_constraint_pool(+PoolName, +NTypes, ++SpecList)
- Create a "constraint pool" module
- get_all_pool_constraints(+Pool, -Constraints)
- Get all currently stored constraints Pool
- get_pool_item(+Pool, -Item)
- Associate a term Item with the pool Pool
- get_typed_pool_constraints(+Pool, +Type, -Constraints)
- Get all currently stored constraints of type Type in Pool
- is_constraint_pool(+Pool)
- Check whether Pool is a constraint pool
- pool_is_empty(+Pool)
- Check whether Pool is an empty constraint pool
- post_typed_pool_constraint(+Pool, +Type, +Constraint)
- Stores the term Constraint in Pool's constraint store as type Type
- set_pool_item(+Pool, +Item)
- Associate a term Item with the pool Pool
- set_typed_pool_constraints(+Pool, +Type, +Constraints)
- Replace the stored constraints for type Type
This library contains support for constraint pools. Constraint pools are a way to have several instances of a constraint solver.
A constraint pool is an Eclipse module. It exports a number of predicates (often constraint predicates) which are specified when the pool is created. The constraint pool does not implement these predicates (constraints) itself, but simply forwards every predicate call, or stores the calls, annotated with the pool name.