Le domaine d'une variable n'est-il rien d'autre qu'une contrainte?

Question

Dans la programmation de contraintes, nous avons des variables et leurs domaines puis toutes les contraintes, mais si vous au concept d'un domaine d'une variable, ce n'est rien d'autre qu'un autre type de contrainte, vous dites que cette variable peut prendre toutes ces valeurs. Existe-t-il une raison particulière pour laquelle le domaine est défini comme un concept différent des contraintes?