/* * @(#)DomTree.java */ package org.jf.dexlib.Code.Analysis.ssa.dom; import org.jgrapht.graph.SimpleDirectedGraph; /** * A Dominator tree. * @param <V> type of nodes * @author Patrick Kuhn */ public class DomTree<V> extends SimpleDirectedGraph<V, DomEdge> { private static final long serialVersionUID = 1445142467229185713L; /** * Create a DomTree object. */ public DomTree() { super(DomEdge.class); } @Override public String toString() { return "IDOM Tree"; } }