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
------------------------------
Original Message:
Sent: Wed August 24, 2022 04:05 AM
From: javier rodrigo
Subject: Automaton DFA
Hello,
Is there any way to implement an automaton in CP ? Some constraints of my model are too complex to be implemented with IloIfThen
Regards
------------------------------
javier rodrigo
------------------------------
#DecisionOptimization