The term
o in 1..nbOrders : colors[o] == c
yields all the orders that have color
c
. So
or(...)
iterates over all orders that have color
c
. For each of these orders
o
it checks whether
where[o] == s
. It finally forms the logical OR of all these tests. So the whole OR evaluates to true if there is at least one order of color
c
that has
where
equal to
s
.
------------------------------
Daniel Junglas
------------------------------
Original Message:
Sent: Mon July 27, 2020 11:01 AM
From: Amey Joshi
Subject: Need help in understanding OPL syntax
The OPL documentation at the location <main role="main"></main>
------------------------------
Amey Joshi
------------------------------
#DecisionOptimization