public Object clone() { HashMutableEdgeLabelledDirectedGraph g = new HashMutableEdgeLabelledDirectedGraph(); g.nodeToPreds = (HashMap)nodeToPreds.clone(); g.nodeToSuccs = (HashMap)nodeToSuccs.clone(); g.edgeToLabels = (HashMap)edgeToLabels.clone(); g.labelToEdges = (HashMap)labelToEdges.clone(); g.heads = HashChain.listToHashChain(HashChain.toList(heads)); g.tails = HashChain.listToHashChain(HashChain.toList(tails)); return g; }
public Object clone() { HashMutableEdgeLabelledDirectedGraph g = new HashMutableEdgeLabelledDirectedGraph(); g.nodeToPreds = (HashMap)nodeToPreds.clone(); g.nodeToSuccs = (HashMap)nodeToSuccs.clone(); g.edgeToLabels = (HashMap)edgeToLabels.clone(); g.labelToEdges = (HashMap)labelToEdges.clone(); g.heads = HashChain.listToHashChain(HashChain.toList(heads)); g.tails = HashChain.listToHashChain(HashChain.toList(tails)); return g; }
public Object clone() { HashMutableDirectedGraph g = new HashMutableDirectedGraph(); g.nodeToPreds = (HashMap)nodeToPreds.clone(); g.nodeToSuccs = (HashMap)nodeToSuccs.clone(); g.heads = HashChain.listToHashChain(HashChain.toList(heads)); g.tails = HashChain.listToHashChain(HashChain.toList(tails)); return g; }
public Object clone() { HashMutableDirectedGraph g = new HashMutableDirectedGraph(); g.nodeToPreds = (HashMap)nodeToPreds.clone(); g.nodeToSuccs = (HashMap)nodeToSuccs.clone(); g.heads = HashChain.listToHashChain(HashChain.toList(heads)); g.tails = HashChain.listToHashChain(HashChain.toList(tails)); return g; }