Boucle combinatoire et mux

Si on veut exécuter deux opérations A et B mais en faisant changer l'ordre:

x->A->B->y
x->B->A->y

Alors on aurait tendace à mettre les deux chaînes et puis à multiplexer y pour en choisir une.

Mais quand les opérations coûtent cher, on ne veut pas avoir 2A et 2B.

On voudrait :

• multiplexer A pour choisir x ou B
• multiplexer B pour choisir x ou A
• multiplexer y pour choisir A ou B

Mais a priori on aurait alors une boucle combinatoire entre A et B.

Il faudrait soit un SAT solver pour démontrer que les conditions sur les mux A et B sont identiques (plus flexible, on peut mettre les mux où on veut). Soit forcer dans le langage que ce soit dans un même when/else (plus clair dans l'intention).

Qu'en pensez-vous ?