[ library(tentative) | Reference Manual | Alphabetic Index ]

++ImplSpec tent_implements ++ConsSpec

Associate a constraint with a tentative value implementation
ImplSpec
Term of the form Atom/Integer
ConsSpec
Term of the form Atom/Integer

Description

This declaration is part of the constraint implementation interface. It links the name/arity of the constraint in the constraint model to the name/arity of the predicate that implements the tentative value semantics of the constraint. For example, the declaration 
	    :- alldifferent_t/2 tent_implements alldifferent/1.
means that whenever an alldifferent/1 constraint is added to a constraint set, e.g. by using 
	    ..., CSet :~ alldifferent(List), ...
then the alldifferent_t(List, Monitor) is invoked to implement this constraint.

Modes and Determinism

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

:~ / 2