Graphical Class Hierarchy Node3194 TFormula Node0 Root::RegularFormula Node3194->Node0