Algorithme de capture basin (Bassin de capture)

But : Trouver les états d’où on peut atteindre une cible C⊆KC  tout en respectant les contraintes K.

Input: Ensemble de contraintes K, cible C, dynamique F
Output: Capture_F(C, K)

1. Capture := C
2. Repeat
    a. Pour chaque x ∈ K \ Capture
        i. Existe-t-il une trajectoire x → x' ∈ Capture via F(x) ?
        ii. Si oui, ajouter x à Capture
3. Until stabilité
4. Return Capture