G.3.4 Initialized_Solver Procedure

The main documentation of the Initialized_Solver Procedure contains additional explanation of this code listing.

  function Initialized_Solver (Solver) result(Initialized)

    ! Use associations.

    use Caesar_Flags_Module, only: initialized_flag

    ! Input variable.

    type(Solver_type), intent(in) :: Solver  ! Solver to be checked.

    ! Output variable.

    type(logical) :: Initialized             ! Initialized condition boolean.


    ! Verify requirements - none.

    ! Set initialized boolean.

    Initialized = Solver%Initialized == initialized_flag

    ! Verify guarantees - none.

  end function Initialized_Solver

Michael L. Hall