Global Constraint Catalog: Cpower

5.325. power

DESCRIPTION

LINKS

Origin

[DenmatGotliebDucasse07]

Constraint

$𝚙𝚘𝚠𝚎𝚛 (𝚇, 𝙽, 𝚈)$

Synonym

$𝚡𝚎𝚡𝚙𝚢𝚎𝚚𝚣$ .

Arguments

$𝚇$	$𝚍𝚟𝚊𝚛$
$𝙽$	$𝚍𝚟𝚊𝚛$
$𝚈$	$𝚍𝚟𝚊𝚛$

Restrictions

𝚇 \geq 0

𝙽 \geq 0

𝚈 \geq 0

Purpose

Enforce the fact that $𝚈$ is equal to $𝚇^{𝙽}$ .

Example

(2, 3, 8)

The $𝚙𝚘𝚠𝚎𝚛$ constraint holds since 8 is equal to $2^{3}$ .

Typical

𝚇 > 1

𝙽 > 1

𝙽 < 5

𝚈 > 1

Arg. properties

Functional dependency: $𝚈$ determined by $𝚇$ and $𝙽$ .

Algorithm

In [DenmatGotliebDucasse07] a filtering algorithm for the $𝚙𝚘𝚠𝚎𝚛$ constraint was automatically derived from the algorithm that multiplies $𝚇$ by itself $𝙽$ times by using constructive disjunction and abstract interpretation in order to approximate the behaviour of the while loop of that algorithm.

Systems

xexpyeqz in JaCoP.

Keywords

constraint arguments: ternary constraint, pure functional dependency.

constraint type: arithmetic constraint, predefined constraint.

filtering: abstract interpretation.

modelling: functional dependency.

Global Constraint Catalog

5. Global Constraint Catalogue

5.325. power