HP Fortran Programmer's Reference (September 2007)

Intrinsic procedures
Intrinsic procedure specifications
Chapter 11 637
Arguments
VECTOR may be of any type. It must have rank one. Its size must be at least t where
t is the number of .TRUE. elements in MASK.
MASK must be array valued and of type logical.
FIELD must be of the same type and type parameters as VECTOR and must be
conformable with MASK.
Result type,
type parameters,
and shape
The result is an array of the same type and type parameters as VECTOR and the same shape as
MASK.
Result value
The element of the result that corresponds to the i th .TRUE. element of MASK, in array
element order, has the value VECTOR( i ) for i =1, 2, ..., t , where t is the number of .TRUE.
values in MASK. Each other element has a value equal to FIELD if FIELD is scalar or to the
corresponding element of FIELD if it is an array.
VERIFY(STRING, SET, BACK)
Optional argument
BACK
Description
Verify that a set of characters contains all the characters in a string by identifying the
position of the first character in a string of characters that does not appear in a given set of
characters.
Class
Elemental function.
Arguments
STRING must be of type character.
SET must be of type character with the same kind type parameter as STRING.