Fichier:Backjump-variables-1.svg
Taille de cet aperçu PNG pour ce fichier SVG : 144 × 126 pixels. Autres résolutions : 274 × 240 pixels | 549 × 480 pixels | 878 × 768 pixels | 1 170 × 1 024 pixels | 2 341 × 2 048 pixels.
Fichier d’origine (Fichier SVG, nominalement de 144 × 126 pixels, taille : 7 kio)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
| Description | An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value of x1..x4. Normally, backtracking would change the value of x4. The next image Image:Backjump-variables-2.svg shows the case in which the value of x4 is actually irrelevant |
| Date | 8 février 2006 (date de téléversement originale) |
| Source | La source n’a pas pu être reconnue automatiquement. « Travail personnel » supposé (étant donné la revendication de droit d’auteur). |
| Auteur | L’auteur n’a pas pu être identifié automatiquement. Il est supposé qu'il s'agit de : Tizio (étant donné la revendication de droit d’auteur). |
Conditions d’utilisation
|
Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi. |
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 8 février 2006 à 22:22 | | 144 × 126 (7 kio) | Tizio | White background |
| 8 février 2006 à 16:13 |  | 126 × 117 (7 kio) | Tizio | An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value of x1..x4. Normally, backtracking would change the value of x4. The next image Image:Backjump-variables-2.svg shows the case in which |
Utilisation du fichier
La page suivante utilise ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur en.wikipedia.org
- Utilisation sur es.wikipedia.org
- Utilisation sur fa.wikipedia.org
- Utilisation sur sr.wikipedia.org
- Utilisation sur uk.wikipedia.org
