Array access
| beginarrinit |
Begin an array initialization.
|
| chkarrind |
Check whether an index tuple of an array is valid.
|
| cmpindices |
Compare two index tuples.
|
| endarrinit |
Terminate an array initialization.
|
| getarrdim |
Get the number of dimensions of an array.
|
| getarrsets |
Get the index sets of an array.
|
| getarrsize |
Get the size of an array.
|
| getarrtype |
Get the type of an array.
|
| getarrval |
Get the value of an array entry.
|
| getfirstarrentry |
Get the list of indices of the first entry of an array.
|
| getfirstarrtruentry |
Get the list of indices of the first true entry of an array.
|
| getlastarrentry |
Get the list of indices of the last entry of an array.
|
| getnextarrentry |
Get the list of indices of the next entry of an array.
|
| getnextarrtruentry |
Get the list of indices of the next true entry of an array.
|
| setarrval |
Set the value of an array entry.
|