Home
last modified time | relevance | path

Searched refs:new_trail (Results 1 – 3 of 3) sorted by last modified time

/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/
H A Dseq_axioms.cpp112 expr_ref_vector new_trail(m, new_size, m_trail.data() + new_size); in gc_purify() local
115 m_purified.insert(new_trail.get(i), new_trail.get(i + 1)); in gc_purify()
117 m_trail.append(new_trail); in gc_purify()
/dports/www/drupal7/drupal-7.82/includes/
H A Dmenu.inc2383 * @param $new_trail
2391 function menu_set_active_trail($new_trail = NULL) {
2394 if (isset($new_trail)) {
2395 $trail = $new_trail;
/dports/editors/parinfer-rust/parinfer-rust-0.4.3/src/
H A Dparinfer.rs1215 let mut new_trail = String::new(); in clean_paren_trail() localVariable
1230 new_trail.push_str(ch); in clean_paren_trail()
1238 replace_within_line(result, line_no, start_x, end_x, &new_trail[..]); in clean_paren_trail()