mmcfilters::TreeEditor::IncrementalProof Class Reference

Move-only evidence that the current edit revision satisfies the generic topology invariants. More...

#include <TreeEditor.hpp>

Public Member Functions
	IncrementalProof (const IncrementalProof &)=delete
	Disables copy construction.
IncrementalProof &	operator= (const IncrementalProof &)=delete
	Disables copy assignment.
	IncrementalProof (IncrementalProof &&other) noexcept
	Transfers proof ownership and invalidates other.
IncrementalProof &	operator= (IncrementalProof &&)=delete
	Disables move assignment.
bool	usedCompleteValidation () const noexcept
	Returns whether this proof was established by complete validation.

Friends
class	TreeEditor

Detailed Description

Move-only evidence that the current edit revision satisfies the generic topology invariants.

Definition at line 37 of file TreeEditor.hpp.

Constructor & Destructor Documentation

IncrementalProof()

mmcfilters::TreeEditor::IncrementalProof::IncrementalProof ( IncrementalProof &&  other )

inlinenoexcept

Transfers proof ownership and invalidates other.

Parameters

other

Object to compare with or transfer from.

Definition at line 74 of file TreeEditor.hpp.

Member Function Documentation

usedCompleteValidation()

bool mmcfilters::TreeEditor::IncrementalProof::usedCompleteValidation ( ) const

inlinenoexcept

Returns whether this proof was established by complete validation.

Returns

Whether this proof was established by complete validation.

Definition at line 90 of file TreeEditor.hpp.

Friends And Related Symbol Documentation

TreeEditor

friend class TreeEditor

friend

Definition at line 38 of file TreeEditor.hpp.

---

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

• mmcfilters/trees/TreeEditor.hpp