Package de.uka.ipd.sdq.tcfmoop.outputtree

Implements a Data structure used by the termination criteria manager and the separate criteria to output information in a tree-like form.