frenetic-lang/frenetic — pull request #295 by seliopou (2014-04-25 16:26:44+00:00)
Title: Minor Controller refactorings

This pull request includes minor refactorings to try and make `Async_NetKAT_Controller` more readable and maintainable.