getsize
getsize |
Purpose
Synopsis
function getsize(a:array):integer
function getsize(s:set):integer
function getsize(l:list):integer
function getsize(t:string):integer
function getsize(c:linctr):integer
Arguments
a
|
An array
|
s
|
A set
|
l
|
A list
|
t
|
A string
|
c
|
A linear constraint
|
Return value
Number of effective entries for an array, number of elements for a set or a list, number of characters for a string, number of terms for a constraint.
Example
In the following, a dynamic array is declared holding eight elements, of which only two are actually defined. Calling
getsize on this array returns
2 rather than
8. The length
lw of the string
w is
9.
declarations a:dynamic array(1..8) of real w = "some text" end-declarations a(1):= 4 a(5):= 7.2 la:= getsize(a) lw:= getsize(w)
Further information
In the case of a dynamic array that has been declared with a maximal range this number may be smaller than the size of the range, but it cannot exceed it. When used with a string, this function returns the length of the string (
i.e. the number of characters it contains). If used with a linear constraint, this function returns the number of terms of the constraint (the constant term is not taken into account).