// For now we'll set the new edge's probability to 1.0 to just
// make the calculations down below work. This will get updated
// overtime when we recompute the probabilities in the entire graph.
candidate_edge = new MarkovEdge(markov, 1, 1.0f);
markov.addEdge(candidate_edge, element, v, EdgeType.DIRECTED);
this.candidate_edges.add(candidate_edge);
if (this.created_vertices == null) this.created_vertices = new HashSet<MarkovVertex>();
this.created_vertices.add(v);
if (trace.val)