get_dommaschk_xmax Function

public pure function get_dommaschk_xmax()

Arguments

None

Return Value real(kind=fp)