
++ImplSpec tent_implements ++ConsSpec

   Associate a constraint with a tentative value implementation

Arguments
   ImplSpec            Term of the form Atom/Integer
   ConsSpec            Term of the form Atom/Integer

Type
   library(tentative)

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
   tent_implements(++, ++) is det

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

See Also
   :~ / 2
