Comment on "How to add support for navigation menus to your WordPress theme" by nicolas

wp_nav_menu() can return instead of printing. If you'd rather get some data structures, a quick look at the source seems to indicate that one of the wp_get_nav_menu*() could do what you want.