The main documentation of the Initialized_ELL_Matrix Procedure contains additional explanation of this code listing.
function Initialized_ELL_Matrix (ELLM) result(Initialized)
! Use associations.
use Caesar_Flags_Module, only: initialized_flag
! Input variable.
! ELL_Matrix to be checked.
type(ELL_Matrix_type), intent(in) :: ELLM
! Output variable.
type(logical) :: Initialized ! Initialized condition boolean.
!~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
! Verify requirements - none.
! Set initialized boolean.
Initialized = ELLM%Initialized == initialized_flag
! Verify guarantees - none.
return
end function Initialized_ELL_Matrix