Skip to main content

luaur_analysis/methods/
dcr_logger_commit_step_snapshot.rs

1use crate::records::dcr_logger::DcrLogger;
2use crate::records::generalize_step_snapshot::GeneralizeStepSnapshot;
3use crate::type_aliases::step_snapshot::StepSnapshot;
4use luaur_common::records::variant::Variant2;
5
6impl DcrLogger {
7    pub fn commit_step_snapshot(&mut self, snapshot: StepSnapshot) {
8        if let Variant2::V1(eg) = &snapshot {
9            if eg.before == eg.after {
10                return;
11            }
12        }
13
14        self.solve_log.step_states.push(snapshot);
15    }
16}