Provides classes that handle the GUI of pumping lemmas.