mmcfilters::TreeEditValidationStatistics Struct Reference

Counts committed edit sessions by validation strategy. More...

#include <MorphologicalTree.hpp>

Public Attributes
std::size_t	completeValidationCommits = 0
	Number of commits checked with complete validation.
std::size_t	incrementalValidationCommits = 0
	Number of commits checked with incremental proof validation.

Detailed Description

Counts committed edit sessions by validation strategy.

The counters make performance-sensitive callers testable without embedding timing thresholds in correctness tests.

Definition at line 69 of file MorphologicalTree.hpp.

Member Data Documentation

completeValidationCommits

std::size_t mmcfilters::TreeEditValidationStatistics::completeValidationCommits = 0

Number of commits checked with complete validation.

Definition at line 71 of file MorphologicalTree.hpp.

incrementalValidationCommits

std::size_t mmcfilters::TreeEditValidationStatistics::incrementalValidationCommits = 0

Number of commits checked with incremental proof validation.

Definition at line 73 of file MorphologicalTree.hpp.

---

The documentation for this struct was generated from the following file:

• mmcfilters/trees/MorphologicalTree.hpp