After that, all attributed variables created during the execution of Goal are located. Note that an industrial strength solver would have to provide a wider range of functionality and that it quite likely would utilize a more efficient representation for the domains proper. A variable can be queried for its domain by leaving Domain unbound. Projecting finite domain constraints happens to be difficult. The two example solvers interact via bindings to shared attributed variables only.
More complicated interactions are likely to be found in more sophisticated solvers.
Go to the first , previous , next , last section, table of contents .