Skip to main content

merge_warmstart_teacher_trace_deterministic

Function merge_warmstart_teacher_trace_deterministic 

Source
pub fn merge_warmstart_teacher_trace_deterministic(
    traces: &mut Vec<WarmStartExactJhTeacherTrace>,
    trace: WarmStartExactJhTeacherTrace,
) -> bool
Expand description

Merge one teacher trace into traces, preserving deterministic lexicographic order.