Hopcroft-Karp functional.