property_verdict_tablet Member List

This is the complete list of members for property_verdict_tablet, including all inherited members.

all_passed() const	property_verdict_tablet
begin_round()	property_verdict_tablet
clear()	property_verdict_tablet
complete_round()	property_verdict_tablet	inline
has_violation() const	property_verdict_tablet	inline
is_incomplete() const	property_verdict_tablet	inline
note_incomplete()	property_verdict_tablet
promote_unchecked_to_passed()	property_verdict_tablet
record(const std::string &property, property_verdictt verdict, const property_locationt &loc, const std::string &note="")	property_verdict_tablet
size() const	property_verdict_tablet
snapshot() const	property_verdict_tablet