![]() | |||||||||||
| |||||||||||
Local declarations in with statements 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 (!****************************************************** 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
| |||||||||||
© Copyright 2024 Fair Isaac Corporation. |