FICO
FICO Xpress Optimization Examples Repository
FICO Optimization Community FICO Xpress Optimization Home
Back to examples browserPrevious exampleNext example

Using counters

Description
Definition of 'with' statements for local declaration of scalar and structured types, including for the enumeration of arrays with unnamed index sets.

Further explanation of this example: 'Mosel User Guide', section 'with'


Source Files
By clicking on a file name, a preview is opened at the bottom of this page.
usingwith.mos[download]





usingwith.mos

(!******************************************************
   Mosel User Guide Example Problems
   ================================= 

   file usingwith.mos 
   `````````````````` 
   Definition of 'with' statements for local declaration
   of structured types.
 
   (c) 2022 Fair Isaac Corporation
       author: S. Heipcke, Feb. 2022
*******************************************************!)

model "using with statements"

!**** 'with' can take a comma-separated list of several local declarations
 L:=[1,4,2,10,1]
 with first=L.first, last=L.last do
   writeln("L starts with value 1: ", first=1)
   writeln("L starts and ends with same value: ", first=last)
 end-do

!**** Local declaration as shorthand to save access time for elements of
!**** complex structures when using them repeatedly within a block of code
 declarations
   NB: dynamic array(R:range) of set of integer   
 end-declarations

 NB(1):={2,3,4}; NB(2):={1,3,5,6}; NB(6):={2,4}
 forall(i in R | exists(NB(i)) )
   with S=NB(i), el=getelt(S) do
     writeln(i, ": Size of set=", S.size, ", contains 1:", 1 in S,
             ", an element the set:", el, " is different from 0:", el<>0)
   end-do

! Local declaration of scalars is also possible in 'forall' statements, but
! this form cannot be used for structured types
 forall(i in R | exists(NB(i)), el=getelt(NB(i)))
   with S=NB(i) do
     writeln(i, ": Size of set=", S.size, ", contains 1:", 1 in S,
             ", an element the set:", el)
   end-do

!**** Aliasing of an array and its index set(s): efficient use of 'exists'
!**** for enumerating an array with unnamed indexing sets
 declarations
   A1:dynamic array(range,string) of integer  ! Array with unnamed indexing sets
 end-declarations

 A1(1,'a'):=1; A1(4,'c'):=4; A1(6,'d'):=6

 with A(I,J)=A1 do
   forall(i in I, j in J | exists(A(i,j))) write(" ", A(i,j))
 end-do
 writeln 

end-model

Back to examples browserPrevious exampleNext example