[ 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
- tent_implements(++, ++) is det
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
See Also
:~ / 2