[graph-tool] Exact diameter

Hi all, Using python graph_tool library. I see there is the pseudo_diameter method but I was looking so something that can give me the exact diameter but cannot seem to find. Could anyone shine some light where this is (or why not included)?