[ 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