Dear Javier,
Would you have a short example to illustrate your requirements ?
I would say the solution is likely to be problem-specific...
Thinking about the concept of automaton in CPO, the first thing that comes to my mind would be the use of the `element` constraint that selects an item from a list that is indexed by an integer decision variable. One could chain such constraints to simulate the behaviour of a finite state machine.
Is this what you are looking for ?
Best regards,
Hugues
------------------------------
Hugues Juille
------------------------------