Rename lifetime

This commit is contained in:
Loïc Lecrenier
2023-03-13 14:03:48 +01:00
parent 1c58cf8426
commit 14e8d0aaa2
18 changed files with 177 additions and 213 deletions

View File

@ -545,12 +545,13 @@ shape: class"
)
.unwrap();
}
EdgeCondition::Conditional(details) => {
EdgeCondition::Conditional(condition) => {
let condition = graph.conditions_interner.get(*condition);
writeln!(
file,
"{source_node} -> {dest_node} : \"cost {cost} {edge_label}\"",
cost = edge.cost,
edge_label = R::label_for_edge_condition(details)
edge_label = R::label_for_edge_condition(condition)
)
.unwrap();
}