[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

library(constraint_pools)

Support for the creation of constraint pools

Predicates

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

Description

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.

About


Generated from constraint_pools.eci on Mon Mar 31 03:12:24 2008