Package de.uka.ipd.sdq.tcfmoop.views

Implements a GUI that provides basic output and communication capabilities with the Termination Criteria Manager.